著者典拠情報

著者標目形：
竹内, 外史(1926-)||タケウチ, ガイシ
属性：
Personal
場所：
石川県
日付：
1926
から見よ参照形：
*Takeuti, Gaisi, 1926-
Takeuti, G.
Takeuchi, Gaishi
注記：
イリノイ大学教授
「無限小解析と物理学」の著者
EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。
著者典拠ID：
DA00113867


1.

図書
図書
1. Proof theory. 2nd ed (: U.S)
Gaisi Takeuti
出版情報: Amsterdam ; Tokyo : North-Holland, 1987
シリーズ名: Studies in logic and the foundations of mathematics ; v. 81
所蔵情報: loading…
2.

図書
図書
2. Introduction to axiomatic set theory. 2nd ed (: us ; : gw)
Gaisi Takeuti, Wilson M. Zaring
出版情報: New York : Springer-Verlag, c1982
シリーズ名: Graduate texts in mathematics ; 1
所蔵情報: loading…
3.

図書
図書
3. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 (: Berlin ; : New York)
edited by G.H. Müller, G. Takeuti, and T. Tugué
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 891
所蔵情報: loading…
4.

図書
図書
4. Two applications of logic to mathematics (: ja ; : us)
by Gaisi Takeuti
出版情報: [Tokyo] : Iwanami Shoten , [Princeton, N.J.] : Princeton University Press, 1978
シリーズ名: Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3
所蔵情報: loading…
5.

図書
図書
5. Axiomatic set theory (: us hard cover ; : us soft cover ; : gw soft cover)
by G. Takeuti and W.M. Zaring
出版情報: New York : Springer-Verlag, c1973
シリーズ名: Graduate texts in mathematics ; 8
所蔵情報: loading…