Methods of Cut-Elimination

by Matthias Baaz · 1 review · 2015

Reviewed by	Journal	Date	Access
Sam Buss	Studia Logica	2015-06	Restricted

Metaphysics & Logic

Also by Baaz

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (3 reviews)

Search PhilReviews for this title