Viimeiset kesädiilit vielä jopa -60 % PLUS-jäsenille >>
Hei, kuinka voimme auttaa?

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

0.0 (0)
Lisätiedot:
Tekijä: Paolo Mancosu, Sergio Galvan, Richard Zach
Sivujen määrä: 432
Julkaisuvuosi: 2021
Tuotekoodi: 14678303
Lisätietoja
Vain sovelluksessa HobbyHall PLUS -jäsenille! Kerrytä Hobby Hall raha tuplana*!

HH PLUS hinta

6129 €

Normaalihinta

8755 €
Myyjä:
7479 €
Kuukausiraha ®  alkaen 800 €/kk

Postin pakettiautomaatti

20. lokakuuta
595 €

Kotiinkuljetus

20. lokakuuta
1295 €

Postin noutopiste

20. lokakuuta
1395 €

Toimitusajat ovat arvioita. Tarkka toimituspäivä näytetään postinumeron syöttämisen jälkeen tai tilausvahvistuksessa.

Postin pakettiautomaatti

20. lokakuuta
595 €

Postin noutopiste

20. lokakuuta
1395 €

Kotiinkuljetus

20. lokakuuta
1395 €

Toimitusajat ovat arvioita. Tarkka toimituspäivä näytetään postinumeron syöttämisen jälkeen tai tilausvahvistuksessa.

Muiden myyjien tarjoukset
Pro Baltic
6799 € 7479 €
14 päivän palautusmahdollisuus
Myyjä:
  • 100% asiakkaista suosittelee tätä myyjää.

Ostetaan usein yhdessä

Tuotteen kuvaus: 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.

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

Tuotekoodi: 14678303
Kategoria: Historiakirjat
Pakkausten määrä: 1 kpl
Pakkauksen koko ja paino (1): 0,24 x 0,16 x 0,02 m, 0,65 kg
Myyjän kotimaa: Liettua
Kustantamo: Oxford University Press
Kirjan kieli: Englanti
Tyyppi: Historia
Kirja: Ei
Myyjä: Patogupirkti, Pro Baltic
Tekijä: Paolo Mancosu, Sergio Galvan, Richard Zach
Sivujen määrä: 432
Julkaisuvuosi: 2021

Tuotteiden kuvat ovat havainnollistavia. Tuotekuvauksen videolinkit ovat vain tiedoksi, joten niiden sisältämät tiedot voivat poiketa itse tuotteesta. Alkuperäisten tuotteiden värit, huomautukset, parametrit, mitat, koot, ominaisuudet ja/tai muut ominaisuudet voivat poiketa niiden todellisesta ulkonäöstä, joten katso tuotetiedot tuotekuvauksista.

Muita kiinnostavia tuotteita
Kumppanitarjoukset
Sponsoroitu

Arviot ja arvostelut (0)

Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Ole ensimmäinen, joka jättää arvostelun!
Tätä tuotetta voivat arvioida vain Hobbyhall.fi rekisteröityneet asiakkaat.
Kirjoita arvostelu

Suosittelemme ostamaan yhdessä Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs kanssa

Muiden myyjien tarjoukset (1)

*Myyjä on vastuussa kaikista tavaroiden sisältämistä tiedoista (mukaan lukien hinta).

Myyjä: Pro Baltic 3.9
(338 asiakasarviota)
Vain sovelluksessa HobbyHall PLUS -jäsenille! Kerrytä Hobby Hall raha tuplana*!

Postin pakettiautomaatti

17. syyskuuta

595 €
Toimitustapavaihtoehdot
6799 € 7479 €
Lisää ostoskoriin

Parhaat tuotteet myyjältä Patogupirkti

Jatka ostoksia

Historiakirjat

: Access to History for the IB Diploma: The Cold War: Superpower tensions and rivalries Second Edition, Godfather Effect: Changing Hollywood, America, and Me, Poika, myyrä, kettu ja hevonen, Diaries of War: Two Visual Accounts from Ukraine and Russia [A Graphic Novel History], Craft: How the Freemasons Made the Modern World, Flower of Chivalry: Bertrand Du Guesclin and the Hundred Years War, I Shall Bear Witness: The Diaries Of Victor Klemperer 1933-41, The Gulag Doctors: Life, Death, and Medicine in Stalins Labour Camps, House of Trump, House of Putin: The Untold Story of Donald Trump and the Russian Mafia, Golden Bough: A Study in Magic and Religion, Purses in Pieces: Archaeological Finds of Late Medieval and 16th Century Leather Purses, Pouches, Bags and Cases in the Netherlands, Maori Vol.2 - Meanings: Polynesien Tattoos, Transatlantic Bondage: Slavery and Freedom in Spain, Santo Domingo, and Puerto Rico, Generations