An Introduction to Proof Theory: Normalization, Cut-Elimination, and
42,59 €
Paolo Mancosu is Willis S. and Marion Slusser Professor of Philosophy at the University of California at Berkeley. During his career he has taught at Stanford, Oxford, and Yale. His main areas of research are proof-theory and philosophical logic.
Jetzt bei Ebay:
