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
Forhandlerinformation
Om
Booktok er en online boghandel med et stort udvalg af bøger til lave priser. Vi tilbyder hurtig levering og fri fragt ved køb over 499 kr. Vi har alt fra bestsellers og nyheder til et bredt udvalg af genrer for alle aldre.
Dansk webshop