Eine Einführung in die Proof-Theorie: Normalisierung, Schnitt-Elimination und
45,02 €
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: