Proof theory [E-Book] / Gaisi Takeuti.
Takeuti, Gaisi,
Amsterdam : New York : North-Holland Pub. Co. ; 1975
American Elsevier Pub. Co.,
1 online resource (vii, 372 p.)
englisch
9780080954912
008095491X
Studies in logic and the foundations of mathematics ; v. 81
Full Text
Description not available.