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

0.0 (0) | Klausimai ir atsakymai (0)

Specifikacijos:

Autorius:	Paolo Mancosu, Sergio Galvan, Richard Zach
Puslapių skaičius:	432
Leidimo metai:	2021
Prekės ID:	59873463

Daugiau informacijos

42²⁰ €

Pardavėjas: Knygynas Krisostomus 4.9

Kitų pardavėjų pasiūlymai (3):

59⁹⁹ €

75⁷⁸ €

Į krepšelį

Jūsų miestas

Vilniuje, parduotuvėje (Laisvės pr. 75)

Gegužės 23 d.

0⁰⁰ €

Vilniuje, parduotuvėje (Upės g. 9 (PC „CUP“))

Gegužės 23 d.

0⁰⁰ €

Kaune, Klaipėdoje, Šiauliuose, Panevėžyje, parduotuvėje

Gegužės 23 d.

0⁰⁰ €

Atsiimkite Omniva paštomate

Gegužės 23 d.

2⁶⁵ €

Atsiimkite SmartPosti terminale

Gegužės 23 d.

2⁶⁹ €

Pristatysime į namus

Gegužės 23 d.

3⁴⁹ €

Dėmesio! Pristatymo terminai yra preliminarūs, kadangi terminai atsinaujina priklausomai nuo faktinio užsakymo pateikimo ir apmokėjimo laiko. Galutinis pristatymo terminas yra pateikiamas Pigu.lt patvirtinus užsakymą.

Visi pristatymo būdai

Kitų pardavėjų pasiūlymai

KATARATA

59⁹⁹ €

Pro Baltic

68⁶⁵ € 89⁶⁹ €

EasyShop

75⁷⁸ €

Detali pardavėjų informacija (3)

14 dienų grąžinimo garantija

Pardavėjas: Knygynas Krisostomus 4.9

97% pirkėjų rekomenduotų šį pardavėją

Kiti taip pat domėjosi

Prekės aprašymas: 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.

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

Prekės ID:	59873463
Kategorija:	Istorinės knygos
Prekės pakuočių kiekis:	1 vnt.
Pakuotės išmatavimai ir svoris (1):	0,24 x 0,16 x 0,02 m, 0,65 kg
Leidykla:	Oxford University Press
Leidinio kalba:	Anglų
Tipas:	Istorinės
Knyga su ištrauka:	Ne
Pardavėjo šalis:	Estija
Pardavėjas:	Pro Baltic, KATARATA, Knygynas Krisostomus, EasyShop
Autorius:	Paolo Mancosu, Sergio Galvan, Richard Zach
Puslapių skaičius:	432
Leidimo metai:	2021

Daugiau informacijos

Prekių nuotraukos skirtos tik iliustraciniams tikslams ir yra pavyzdinės. Prekės aprašyme esančios video nuorodos yra tik informacinio pobūdžio, todėl jose pateikiama informacija gali skirtis nuo pačios prekės. Originalių produktų spalvos, užrašai, parametrai, matmenys, dydžiai, funkcijos, ir/ar bet kurios kitos savybės dėl savo vizualinių ypatybių gali atrodyti kitaip negu realybėje, todėl prašome vadovautis prekių savybėmis, kurios nurodytos prekių aprašymuose.

Pranešti apie klaidą prekės aprašyme

Rekomenduojama kartu

Partnerių pasiūlymai

Reklama

Įvertinimai ir atsiliepimai (0)

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

Būkite pirmas parašęs atsiliepimą!

Informacija ir taisyklės

Šią prekę gali įvertinti tik ją įsigiję bei registruoti Pigu.lt pirkėjai.

Įvertinti prekę

Klausimai ir atsakymai (0)

Paklauskite apie šią prekę kitų pirkėjų!

Informacija ir taisyklės

Užduoti klausimą

Jūsų klausimas buvo sėkmingai pateiktas. Į klausimą bus atsakyta per 3 darbo dienas

Įrašykite klausimą apie šią prekę

Klausimą turi sudaryti bent 10 simbolių

Noriu dalyvauti diskusijose apie mano įsigytas prekes

Pateikti klausimą Atšaukti

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

Kitų pardavėjų pasiūlymai (3)

*Konkretaus pardavėjo pasiūlymams galioja tik tos sąlygos, kurios nurodomos prie tokio pardavėjo parduodamos prekės, ir už visą informaciją juose (įskaitant kainas) atsako konkretus pardavėjas.

Pardavėjas: KATARATA 4.6

(2262 pirkėjų įvertinimai)

Vilniuje, parduotuvėje (Laisvės pr. 75)

Gegužės 13 d.

0⁰⁰ €

Galimi pristatymo būdai

59⁹⁹ €

Į krepšelį

Pardavėjas: Pro Baltic 4.3

(1000 pirkėjų įvertinimų)

-23%

Vilniuje, parduotuvėje (Laisvės pr. 75)