Basic Proof Theory

Authors	A.S. Troelstra H. Schwichtenberg
Publication date	1996
Publisher	Cambridge, U.K.: Cambridge University Press
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Book
Permalink to this page