Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Szerző:
Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley), Galvan, Sergio (Emeritus Professor of
Elérhetőség:
Beszállítói készleten
Küldés 14-20 napon belül
13 239
Ft
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with de...
