Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu,
Paolo Mancosu,
Sergio (Emeritus Professor of Logic Galvan,
Sergio Galvan,
Richard (Professor of Philosophy Zach,
Richard Zach
e.a.
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Paperback Engels 2021 9780192895943Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780192895943
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:432
Uitgever:OUP OXFORD
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan