| Autor: | Paolo Mancosu, Sergio Galvan, Richard Zach |
| Lehekülgede arv: | 432 |
| Ilmumisaasta: | 2021 |
| Kauba ID: | 12389541 |
Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.
Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The firsthalf covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and variousapplications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. Theproof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophyof mathematics.
| Kauba ID: | 12389541 |
| Kategooria: | Ajalooraamatud |
| Tootepakendite arv: | 1 tk. |
| Paki suurus ja kaal (1): | 0,24 x 0,16 x 0,02 m, 0,65 kg |
| Kirjastus: | Oxford University Press |
| Raamatu keel: | Inglise keel |
| Kaane tüüp: | Täpsustamata |
| Vorming: | Traditsiooniline raamat |
| Tüüp: | Täpsustamata |
| Raamat väljavõttega: | Ei |
| Autor: | Paolo Mancosu, Sergio Galvan, Richard Zach |
| Lehekülgede arv: | 432 |
| Ilmumisaasta: | 2021 |
Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.
*Konkreetse Müüja pakkumiste suhtes kehtivad tingimused, mis on Müüja määranud antud kauba jaoks ja kogu kaubas sisalduva teabe (sealhulgas ka hinna) eest vastutab Müüja.
-20% lisaale valikule toodetele koodiga* 20APP425. Kehtib ainult esimesele ostule äpis! 
Suvi kliki kaugusel! Kõik suvehooajaks vajalik ühest kohast. 