Proof Theory
Proof Theory
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.
PRP: 154.69 Lei
Acesta este Pretul Recomandat de Producator. Pretul de vanzare al produsului este afisat mai jos.
139.22Lei
139.22Lei
154.69 LeiLivrare in 2-4 saptamani
Descrierea produsului
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.
Detaliile produsului