著者典拠情報

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


1.

図書
図書
1. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
所蔵情報: loading…
2.

図書
図書
2. 数学基礎論. 増補版
竹内外史, 八杉満利子著
出版情報: 東京 : 共立出版, 1974.3
シリーズ名: 現代数学講座 ; 1
所蔵情報: loading…