Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000109092712 | 1 hits
Person
ISNI: 
0000 0001 0909 2712
Name: 
Gaishi, Takeuchi
Gaisi, Takeuti
Takeuchi, Gaishi
Takeuchi, Gaisi
Takeuti, G.
Takeuti, Gaishi
Takeuti, Gaisi
タケウチ, ガイシ
竹内, 外史
竹内外史
Dates: 
1926-
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
redactor
Related names: 
Itō, Seizō (1927-)
Kawada, Yukiyoshi (1916-1993)
Kreisel, Georg
Logic Symposia (1980 : Hakone-machi, Japan)
Passell, Nicholas
Yasugi, Mariko
Zaring, Wilson M.
伊藤, 清三 (1927-)
八杉, 満利子 (1937-)
河田, 敬義 (1916-1993)
Titles: 
Axiomatic set theory
Chokkan shugi teki shūgōron
Formally self-referential propositions for cut free classical analysis and related systems
Gēderu no yume
Gendai shūgōron nyūmon
Gödel and other logicians
Introduction to axiomatic set theory
Isō kikagaku
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Memoirs of a proof theorist : Gödel and other logicians
Mugenshō kaiseki to butsurigaku
Pī to enupī
Proof theorist
Proof Theory
PとNP : 計算量の根本問題
Rī daisū to soryūshiron
Senkei daisū to ryōshi rikigaku
Senkei ronri nyūmon
Shōmeiron nyūmon
Shōmeiron to keisanryō
Shūgō towa nanika : Hajimete manabu hito no tameni
Sō ken toposu
Sūgaku kara butsurigaku e
Sūgaku kisoron no sekai
Sūgakuteki sekaikan : gendai sūgaku no shisō to tembō
Sūri ronrigaku : go no mondai
Teoriâ dokazatel'stv
Teorija dokazatel'stv
Two applications of logic to mathematics
ゲーデル
ゲーデルの夢 : 数学
リー代数と素粒子論
位相幾何学
層・圈・トポス : 現代的集合像を求めて
数学から物理学へ
数学基礎論
数学基礎論の世界 : ロジックの雑誌帳から
数学的世界観 : 現代数学の思想と展望
数理論理学 : 語の問題
無限小解析と物理学
現代集合論入門
直観主義的集合論
線型論理入門
線形代数と量子力学
証明論と計算量
証明論入門
集合とはなにか : はじめて学ぶ人のために
Notes: 
Sources: 
VIAF BNF LC NDL NTA NUKAT SELIBR SUDOC WKP
TEL