Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

(0) | Küsimused ja vastused (0)

Täpsustused:

Autor:	Paolo Mancosu, Sergio Galvan, Richard Zach
Lehekülgede arv:	432
Ilmumisaasta:	2021
Kauba ID:	12389541

Lisainfo

Tasuta tarne

40²⁸ €

Müüja: Bookstore Krisostomos 4.9

Pakkumised teistelt müüjatelt (1):

64⁹⁹ €

Lisa korvi

Sinu linn

Omniva pakiautomaat

8. juulist

Tasuta tarne

0⁰⁰ €

Smartpost pakiautomaat

8. juulist

Tasuta tarne

0⁰⁰ €

Postkontor

8. juulist

Tasuta tarne

0⁰⁰ €

DPD pakiautomaat

8. juulist

2⁴⁹ €

Kuller

8. juulist

3⁹⁹ €

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Kõik tarneviisid

Omniva pakiautomaat

8. juulist

Tasuta tarne

0⁰⁰ €

Smartpost pakiautomaat

8. juulist

Tasuta tarne

0⁰⁰ €

Postkontor

8. juulist

Tasuta tarne

0⁰⁰ €

DPD pakiautomaat

8. juulist

2⁴⁹ €

Kuller

8. juulist

3⁹⁹ €

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Kõik tarneviisid

Pakkumised teistelt müüjatelt

KATARATA

64⁹⁹ €

Üksikasjalik teave müüjate kohta (1)

14-päevane tagastusvõimalus

Müüja: Bookstore Krisostomos 4.9

95% ostjatest soovitaks seda müüjat.

Teised on vaadanud

Toote kirjeldus: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

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.

Üldine tooteinfo: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

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

Lisainfo

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.

Teata veast tootekirjelduses

Partnerite pakkumised

Reklaam

Hinnangud ja arvustused (0)

Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Jäta esimene arvustus!

Info ja reeglid

Toote hindamiseks pead olema sisse logitud ja toote Kaup24.ee e-poest eelnevalt ka ostnud.

Hinda toodet

Küsimused ja vastused (0)

Küsi toote kohta teistelt ostjatelt!

Info ja reeglid

Esita küsimus

Teie küsimus on edukalt saadetud. Sellele küsimusele vastatakse 3 tööpäeva jooksul

Kirjutage selle toote kohta küsimus

Küsimus peab olema vähemalt 10 tähemärki

Soovin olla kaasatud aruteludesse, mis käivad toodete kohta, mida olen ostnud

Esitada küsimus Tühista

Soovitame osta koos: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Pakkumised teistelt müüjatelt (1)

*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.

Müüja: KATARATA 4.6

(1451 ostja hinnangud)

Tasuta tarne

Omniva pakiautomaat

4. juulist

0⁰⁰ €

Võimalikud tarneviisid

64⁹⁹ €

Lisa korvi

Parimad pakkumised müüjalt Bookstore Krisostomos

Jätka ostmist

Ajalooraamatud

: Obedient Unto Deat.: A Panzer-Grenadier of the Leibstandarte-SS Adolf Hitler Reports, Women's Life in Greece and Rome: A Source Book in Translation 4th edition, Republic, On Warmer Tides: The Genesis and History of Italy's First World War Naval Commandos, Best Minds of My Generation: A Literary History of the Beats, Aston Martin: Made in Britain, Luxury and power: Persia to Greece, Renegade Women: 50 Trailblazers in Film and TV, Indiana Jones and Philosophy, Blitzed: Drugs in Nazi Germany, Saksa armee II maailmasõja vormirõivad: rõivaste, sümboolika ja komplekti fotojuhend, Philip Parker “Maailma ajalugu”, Waffen-Ss in Normandy: June 1944, the Caen Sector, Soviet Cavalry Operations During the Second World War: and the Genesis of the Operational Manoeuvre Group, Rise And Fall of Athens

Aurelian and Probus: The Soldier Emperors Who Saved Rome, Riigikogu Toimetised 37/2018 Seisame teelahkmel, Sõjamõtted, Weapons, Warriors and Battles of Ancient Iberia, Enquiry Concerning the Principles of Morals, Etruscans: Lost Civilizations, Archimedes Codex: Revealing The Secrets Of The World's Greatest Palimpsest, Incidents in the Life of a Slave Girl New edition, Glencoe: The Story of the Massacre, Australia, Malleus Maleficarum, World War II, Hegel's Ladder Volumes 1 & 2: Volume I: The Pilgrimage of Reason. Volume II: The Odyssey of Spirit, Winter Campaign in Italy 1943: Orsogna, San Pietro and Ortona, Black Book of Communism: Crimes, Terror, Repression

Ancient Rome: Infographics, Magicians of the Gods: The Forgotten Wisdom of Earth's Lost Civilisation