Search results for: Takeuti, Gaisi, 1926-2017
Showing 1 - 6 results of 6
Refine Results
-
1
Two applications of logic to mathematics
Authors: Takeuti, Gaisi, 1926-2017
Published: Iwanami Shoten ; Princeton University Press, 1978Physical Description: viii, 137 pages ; 24 cm.Holdings: Loading…
Book Loading… -
2
Introduction to axiomatic set theory
Authors: Takeuti, Gaisi, 1926-2017
Published: Springer-Verlag, 1971Physical Description: vii, 250 pages : illustrations ; 25 cm.Holdings: Loading…
Book Loading… -
3
Proof theory
Authors: Takeuti, Gaisi, 1926-2017
Published: North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975Physical Description: vii, 372 pages ; 23 cm.Holdings: Loading…
Book Loading… -
4
Axiomatic set theory
Authors: Takeuti, Gaisi, 1926-2017
Published: Springer-Verlag, 1973Physical Description: 238 pages : illustrations ; 24 cm.Holdings: Loading…
Book Loading… -
5
Proof theory
Authors: Takeuti, Gaisi, 1926-2017
Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987Physical Description: x, 490 pages ; 23 cm.Holdings: Loading…
Book Loading… -
6
Memoirs of a proof theorist : Gödel and other logicians
Authors: Takeuti, Gaisi, 1926-2017
Published: World Scientific, 2003Physical Description: xviii, 135 pages : illustrations ; 24 cmHoldings: Loading…
Book Loading…