Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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: 
Kawada, Yukiyoshi (1916-1993)
Kreisel, Georg
Müller, Gert Heinz (1923- ))
Passell, Nicholas
Tugué, Tosiyuki (1926- ))
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.
Isō kikagaku
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Mugenshō kaiseki to butsurigaku
Pī to enupī
Proof theory
PとNP : 計算量の根本問題
Rī daisū to soryūshiron
Senkei daisū to ryōshi rikigaku
Senkei ronri nyūmon
Shōmeiron nyūmon
Shūgō towa nanika : Hajimete manabu hito no tameni
Sō ken toposu
Sūgaku kara butsurigaku e
Sūgaku kisoron
Sūgakuteki sekaikan : gendai sūgaku no shisō to tembō
Sūri ronrigaku : go no mondai
Teoriâ dokazatel'stv
Two applications of logic to mathematics
Теория доказательств
ゲーデル
ゲーデルの夢 : 数学
リー代数と素粒子論
位相幾何学
層・圈・トポス : 現代的集合像を求めて
数学から物理学へ
数学基礎論
数学基礎論の世界 : ロジックの雑誌帳から
数学的世界観 : 現代数学の思想と展望
数理論理学 : 語の問題
無限小解析と物理学
現代集合論入門
直観主義的集合論
線型論理入門
線形代数と量子力学
証明論と計算量
証明論入門
集合とはなにか : はじめて学ぶ人のために
Notes: 
Sources: 
VIAF LC NDL NLP NTA NUKAT SELIBR SUDOC WKP
TEL