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

64⁹⁹ €

Müüja: KATARATA 4.6

Lisa korvi

8⁵⁹ € / kuus

Järelmaksu kalkulaator

3 x 21⁶⁷ €

Ilma lisatasudeta

Sinu linn

Tallinna väljastuspunkt (Mustamäe tee 46, Tallinn)

5. juunist

0⁰⁰ €

Postkontor

6. juunist

1⁹⁹ €

Omniva pakiautomaat

6. juunist

2¹⁹ €

DPD pakiautomaat

6. juunist

2⁴⁹ €

Smartpost pakiautomaat

6. juunist

2⁵⁹ €

Kuller

6. juunist

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

Postkontor

6. juunist

1⁹⁹ €

Omniva pakiautomaat

6. juunist

2¹⁹ €

DPD pakiautomaat

6. juunist

2⁴⁹ €

Smartpost pakiautomaat

6. juunist

2⁵⁹ €

Kuller

6. juunist

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

14-päevane tagastusvõimalus

Müüja: KATARATA 4.6

85% 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

Parimad pakkumised müüjalt KATARATA

Jätka ostmist

Ajalooraamatud

: Rubicon: The Triumph and Tragedy of the Roman Republic, Varajane kreeka filosoofia: Varased Joonia mõtlejad, 2. osa, III köide, Immortality Key: The Secret History of the Religion with No Name, Line in the Sand: French Foreign Legion Forts and Fortifications in Morocco 1900 - 1926, Life of Richard Cadbury: Socialist, Philanthropist & Chocolatier, SPQR: A History of Ancient Rome Main, Saksa armee II maailmasõja vormirõivad: rõivaste, sümboolika ja komplekti fotojuhend, After Stalingrad: The Red Army's Winter Offensive 1942-1943, What's Wrong with Rights?, Guns Against the Reich: Memoirs of an Artillery Officer on the Eastern Front, Naised kui sõjakurjategijad: sugu, agentsus ja õiglus, Before We Were Trans: A New History of Gender, Palo Alto: A History of California, Capitalism, and the World, French Foreign Legionnaire vs Viet Minh Insurgent: North Vietnam 1948-52, Mons, an Artillery Battle

War with Hannibal: The History of Rome from its Foundation Books 21-30, History of Reading, Riigikogu Toimetised 37/2018 Seisame teelahkmel, Sõjamõtted, Weapons, Warriors and Battles of Ancient Iberia, Etruscans: Lost Civilizations, Washing Of The Spears: The Rise and Fall of the Zulu Nation Under Shaka and its Fall in the Zulu War of 1879, Malleus Maleficarum, Theatremachine Main, Winter Campaign in Italy 1943: Orsogna, San Pietro and Ortona, Black Book of Communism: Crimes, Terror, Repression, Microcosm: A Portrait of a Central European City, Heinemann Advanced History: Hitler and the Nazi State, Backwards and Forwards: A Technical Manual for Reading Plays, Painting Imperialism and Nationalism Red: The Ukrainian Marxist Critique of Russian Communist Rule in Ukraine, 1918-1925

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