An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs - Paolo Mancosu
432
Pagini
2021
An
Brosata
Copertă
Editura
Oxford University Press
Copertă
Brosata
Pagini
432
An publicare
2021
ISBN
9780192895943
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.
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.
Conectează-te pentru a lăsa o recenzie
📖
Nicio recenzie încă
Ai citit cartea? Fii primul care lasă o recenzie!
