Introduction to proof theory, an: normalization, cut-elimination, and consistency proofs
Auteur :
Mancosu, Paolo / Galvan, Sergio / Zach, Richard
Éditeur :
Oxford University Press
ISBN :
9780192895943
Date de publication :
17 août 2021
Dimensions :
2,3 x 15,5 x 23,5 cm
Poids :
654 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.