An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs - Paolo Mancosu
Normalization, Cut-Elimination, and Consistency Proofs
de
Editura:
Oxford University Press
An:
2021
Pagini:
432
Tip copertă:
Brosata
ISBN:
9780192895943
ISBN-10:
019289594X
Categorii:
Matematică
Descriere
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.
Opiniile cititorilor
🔥
📚
💌
Fii primul care lasă un review!
Contribuția ta este extrem de valoroasă! Ajută-ne să construim cea mai LIT comunitate de cititori din România.
✍️
Scrie primul review acum
Ai deja cont? Conectează-te aici.
Oferte Disponibile
Compară prețurile de la partenerii noștri și alege cea mai bună ofertă.