1
Two applications of logic to mathematics /

Cover is for reference only
Main Authors: Takeuti, Gaisi
Corporate Authors: De Gruyter.
Published: Princeton University Press,
Publication Dates: [2015]
eBook
Save to List
Saved in:
2
Memoirs of a proof theorist : Go del and other logicians /

Cover is for reference only
Main Authors: Takeuti, Gaisi, 1926
Corporate Authors: World Scientific Firm
Group Author: Yasugi, Mariko; Passell, Nicholas
Published: World Scientific Pub. Co.,
Publication Dates: 2003.
eBook
Save to List
Saved in:
3
Proof theory /

Cover is for reference only
Main Authors: Takeuti, Gaisi, 1926
Corporate Authors: Elsevier Science & Technology
Published: North-Holland Pub. Co. ; American Elsevier Pub. Co.,
Publication Dates: 1975.
eBook
Save to List
Saved in:
4
Memoirs of a proof theorist Gödel and other logicians

Cover is for reference only
Main Authors: Takeuti Gaisi 1926-
Published: World Scientific,
Publication Dates: c2003.
Call Number: O141.2/T136/[Rev.ed.]
Book
Save to List
Saved in:
5
Proof theory

Cover is for reference only
Main Authors: Takeuti Gaisi 1926-
Published: Elsevier Science Pub. Co.,
Publication Dates: 1987.
Call Number: O141.2-53/P965/2nd ed./
Book
Save to List
Saved in:
6
Two applications of logic to mathematics

Cover is for reference only
Main Authors: Takeuti Gaisi 1926-
Published: Iwanami Shoten Princeton University Press,
Publication Dates: 1978.
Call Number: O141/T136/
Book
Save to List
Saved in:
7
Introduction to axiomatic set theory

Cover is for reference only
Main Authors: Takeuti Gaisi 1926-
Group Author: Zaring Wilson M
Published: Springer-Verlag,
Publication Dates: c1982.
Call Number: O144/T136/2nd ed./
Book
Save to List
Saved in:
8
Axiomatic set theory

Cover is for reference only
Main Authors: Takeuti Gaisi 1926- ([by] G. Takeuti [and] Wilson M. Zaring.)
Group Author: Zaring Wilson M (joint author.)
Published: Springer-Verlag,
Publication Dates: 1973.
Call Number: O144/T136-1/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —