Boekstra.nl - Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Galvan, Sergio (Emeritus Professor of Logic, Zach, Richard (Professor of Philosophy

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Galvan, Sergio (Emeritus Professor of Logic, Zach, Richard (Professor of Philosophy - An Introduction to Proof Theory

Omschrijving

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.

In de winkelwagen Geleverd met 5 werkdagen. Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Galvan, Sergio (Emeritus Professor of Logic, Zach, Richard (Professor of Philosophy
Titel: An Introduction to Proof Theory
Uitgever: Oxford University Press

Jaar: 2021
Taal: Engels
Pagina's: 432
Gewicht: 666 gr

EAN: 9780192895943
Afmetingen: 157 x 233 x 26 mm
Bindwijze: Paperback / softback

U ontvangt bij ons altijd de laatste druk!

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

Omschrijving

Rubrieken

Rubrieken