Paperback Book
Show unavailable items

Releases by Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley)

August 17, 2021

Cover for Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley) · An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs (Paperback Book) (2021)
Paperback Book
An Introduction to Proof Theory:...
Mancosu, Paolo (Willis S. and Ma...