Search results for: Takeuti, Gaisi, 1926-2017

Showing 1 - 6 results of 6 Refine Results
  1. 1

    Two applications of logic to mathematics

    Authors: Takeuti, Gaisi, 1926-2017
    Published: Iwanami Shoten ; Princeton University Press, 1978
    Physical Description: viii, 137 pages ; 24 cm.
    Book
  2. 2

    Introduction to axiomatic set theory

    Authors: Takeuti, Gaisi, 1926-2017
    Published: Springer-Verlag, 1971
    Physical Description: vii, 250 pages : illustrations ; 25 cm.
    Book
  3. 3

    Proof theory

    Authors: Takeuti, Gaisi, 1926-2017
    Published: North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975
    Physical Description: vii, 372 pages ; 23 cm.
    Book
  4. 4

    Axiomatic set theory

    Authors: Takeuti, Gaisi, 1926-2017
    Published: Springer-Verlag, 1973
    Physical Description: 238 pages : illustrations ; 24 cm.
    Book
  5. 5

    Proof theory

    Authors: Takeuti, Gaisi, 1926-2017
    Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
    Physical Description: x, 490 pages ; 23 cm.
    Book
  6. 6

    Memoirs of a proof theorist : Gödel and other logicians

    Authors: Takeuti, Gaisi, 1926-2017
    Published: World Scientific, 2003
    Physical Description: xviii, 135 pages : illustrations ; 24 cm
    Book