An Introduction to Proof Theory - Normalization, Cut-Elimination, and Consistency Proofs - Sergio Galvan - Paperback Bog - Oxford University Press - 2021 - Engelsk - Booktok.dk
344 kr
På lagerLeveringstid: 1-3 dage
Produktbeskrivelse
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 pathbreakin...
Se fuld beskrivelse hos forhandler →Produktspecifikationer
Mærke: Oxford University Press
Varenr.: 88685
Prissammenligning er ikke tilgængelig for dette produkt. Besøg Booktok eller søg efter alternativer
