64133112

Preferred Forms

200 _ | ‎‡a Takeuchi‏ ‎‡b Gaishi‏ ‎‡f 1926-2017‏
100 1 _ ‎‡a Takeuchi, Gaishi,‏ ‎‡d 1926-2017‏
100 1 _ ‎‡a Takeuti, G.‏
100 1 _ ‎‡a Takeuti, Gaisi‏
100 1 _ ‎‡a Takeuti, Gaisi‏
100 1 _ ‎‡a Takeuti, Gaisi‏
100 1 _ ‎‡a Takeuti, Gaisi‏ ‎‡d (1926- ).‏
100 1 _ ‎‡a Takeuti, Gaisi‏ ‎‡d 1926-2017‏
100 1 _ ‎‡a Takeuti, Gaisi,‏ ‎‡d 1926-‏
100 1 _ ‎‡a Takeuti, Gaisi,‏ ‎‡d 1926-‏
100 1 _ ‎‡a Takeuti, Gaisi,‏ ‎‡d 1926-2017‏
100 1 _ ‎‡a Takeuti, Gaisi,‏ ‎‡d 1926-2017‏
100 1 _ ‎‡a Takeuti, Gaisi,‏ ‎‡d 1926-2017‏
100 1 _ ‎‡a Takeuti, Gaisi,‏ ‎‡d 1926-2017‏
100 1 _ ‎‡a 竹内, 外史‏
100 1 _ ‎‡a 竹内, 外史‏ ‎‡d 1926-‏
100 1 _ ‎‡a 竹内, 外史,‏ ‎‡d 1926-2017‏
100 0 _ ‎‡a 竹内外史‏

4xx's: Alternate Name Forms (44)

400 1 _ ‎‡a Gaishi, Takeuchi,‏ ‎‡d 1926-‏
400 1 _ ‎‡a Gaishi, Takeuchi‏ ‎‡d 1926-‏
400 0 _ ‎‡a Gaisi Takeuti‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c Japanese mathematician‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c Japanese mathematician (1926-2017)‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c Japans wiskundige (1926-2017)‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c Japon matematikçi (1926 – 2017)‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c japana matematikisto‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c japanischer Philosoph und Mathematiker‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c matamaiticeoir Seapánach‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c matematikan japonez‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c matemàtic japonès‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c matemático japonés‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c matemáticu xaponés‏
400 0 _ ‎‡a Gaisi Takeuti‏ ‎‡c mathématicien japonais‏
400 1 _ ‎‡a Gaisi, Takeuti,‏ ‎‡d 1926-‏
400 1 _ ‎‡a Gaisi, Takeuti‏ ‎‡d 1926-‏
400 1 _ ‎‡a Takeuchi, Gaishi‏
400 1 _ ‎‡a Takeuchi, Gaishi,‏ ‎‡d 1926-‏
100 1 _ ‎‡a Takeuchi, Gaishi,‏ ‎‡d 1926-2017‏
400 1 _ ‎‡a Takeuchi, Gaishi,‏ ‎‡d 1926-2017‏
400 1 _ ‎‡a Takeuchi, Gaishi‏ ‎‡d 1926-‏
400 1 _ ‎‡a Takeuchi, Gaishi‏ ‎‡d 1926-2017‏
400 1 _ ‎‡a Takeuchi, Gaisi,‏ ‎‡d 1926-‏
400 1 _ ‎‡a Takeuchi, Gaisi‏ ‎‡d 1926-‏
400 1 _ ‎‡a Takeuti, G.‏
400 1 _ ‎‡a Takeuti, G.‏ ‎‡d 1926-2017‏
400 1 _ ‎‡a Takeuti, Gaishi,‏ ‎‡d 1926-‏
400 1 _ ‎‡a Takeuti, Gaisi‏
400 1 _ ‎‡a Takeuti, Gaisi,‏ ‎‡d 1926-‏
400 1 _ ‎‡a Takeuti, Gaisi‏ ‎‡d 1926-‏
400 1 _ ‎‡a Takeuti, Gaisi‏ ‎‡d 1926-...‏
400 _ | ‎‡a Takeuti‏ ‎‡b Gaisi‏ ‎‡f 1926-2017‏
400 1 _ ‎‡a Такеути, Г.‏
400 1 _ ‎‡a Такеути, Г..‏
400 0 _ ‎‡a جيسى تاكيوتى‏ ‎‡c فيلسوف من اليابان‏
400 1 _ ‎‡a タケウチ, ガイシ‏
100 1 _ ‎‡a タケウチ, ガイシ,‏ ‎‡d 1926-2017‏
400 1 _ ‎‡a タケウチ, ガイシ‏ ‎‡d 1926-‏
400 0 _ ‎‡a 竹内外史‏
400 1 _ ‎‡a 竹内外史,‏ ‎‡d 1926-2017‏
400 0 _ ‎‡a 竹内外史‏ ‎‡d 1926-2017‏
400 0 _ ‎‡a 다케우치 가이시‏ ‎‡c 일본의 수학자 (1926–2017)‏
400 0 _ ‎‡a 다케우치가이시‏

5xx's: Related Names (1)

510 2 _ ‎‡a University of Illinois‏ ‎‡e Affiliation‏

Works

Title	Sources
Bounded arithmetic and the polynomial hierarchy
Chokkan shugi teki shugoron.
Formally self-referential propositions for cut free classical analysis and related systems
Gēderu.
Gendai shugoron nyumon.
Gödel and other logicians
Introduction to axiomatic set theory
Iso kikagaku.
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Mugensho kaiseki to butsurigaku.
Pi to enupi.
Proof theory
PとNP : 計算量の根本問題
Ri daisu to soryushiron.
Senkei daisu to ryoshi rikigaku.
Senkei ronri nyumon.
Shomeiron to keisanryo.
Shugo towa nanika.
So ken toposu.
Sugaku kara butsurigaku e.
Sugaku kisoron.
Sūgakuteki sekaikan : gendai sūgaku no shisō to tenbō
Suri ronrigaku.
Teorija dokazatel'stv
Two applications of logic to mathematics
Теория доказательств
ゲーデル
ゲーデルの夢 : 数学
リー代数と素粒子論
集合とはなにか : はじめて学ぶ人のために
位相幾何学
層・圏・トポス : 現代的集合像を求めて
数学から物理学へ
数学基礎論
数学基礎論の世界 : ロジックの雑誌帳から
数学的世界観 : 現代数学の思想と展望
数理論理学 : 語の問題
無限小解析と物理学
現代集合論入門
直観主義的集合論
線型論理入門
線形代数と量子力学
証明論と計算量
証明論入門

Selected Co-authors

Zaring, Wilson M. ‎(24)
Zaring, Wilson. ‎(8)
Yasugi, Mariko ‎(8)
八杉, 満利子 1937- ‎(5)
Tugué, Tosiyuki (1926-....). ‎(5)
Passell, Nicholas ‎(5)
Müller, Gert Heinz (1923-2006; mathématicien). ‎(5)
河田, 敬義 1916-1993 ‎(3)
Kreisel, Georg ‎(3)
Adân, Sergej Ivanovič. ‎(3)

Countries and Regions of Publication (8)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

US - United States (27)
JP - Japan (25)
NL - Netherlands (12)
DE - Germany (8)
RU - Russian Federation (3)
CH - Switzerland (3)
SG - (1)
PL - Poland (1)

Publication Statistics

Selected Publishers (10)

Springer-Verlag ‎(30)
North-Holland ; American Elsevier ‎(21)
日本評論社 ‎(9)
裳華房 ‎(4)
紀伊國屋書店 ‎(4)
Kinokuniya Shoten. ‎(4)
共立出版 ‎(3)
Université Paris Diderot : Université Pierre et Marie Curie ‎(3)
講談社 ‎(2)
遊星社 ; 星雲社 (発売) ‎(1)

Record ID	Action	Time
BNF\|12859889	add	2009-03-03T12:03:18+00:00
LC\|n 50008917	add	2009-03-03T12:03:28+00:00
SELIBR\|221927	add	2009-03-03T12:03:44+00:00
SUDOC\|08206217X	add	2011-12-15T07:58:58+00:00
NDL\|00080185	add	2012-09-21T12:24:30+00:00
BIBSYS\|x90232088	delete	2012-11-27T04:00:16+00:00
NTA\|072530596	add	2012-12-19T19:11:18+00:00
DNB\|107888580	add	2012-12-19T19:11:18+00:00
ISNI\|0000000109092712	add	2013-09-16T16:15:07+00:00
NUKAT\|n 98008262	add	2014-10-27T16:17:29+00:00
WKP\|Gaisi_Takeuti	delete	2015-04-14T18:56:54+00:00
WKP\|Q873653	add	2015-04-14T18:56:54+00:00
NKC\|mub2015867633	add	2015-05-12T00:14:00+00:00
DNB\|185935575	delete	2016-02-13T18:14:43.938296+00:00
NII\|DA00113867	add	2016-07-31T14:07:47.856964+00:00
DNB\|177693592	delete	2016-11-20T10:07:17.382326+00:00
BIBSYS\|90232088	add	2017-04-01T11:50:06.727132+00:00
NSK\|000693113	add	2019-05-29T18:14:02.346838+00:00
PLWABN\|9810687099405606	add	2019-06-09T14:05:18.388454+00:00
NLP\|a17194325	delete	2019-07-14T13:03:03.118790+00:00
J9U\|987007341895305171	add	2020-02-02T18:09:24.416180+00:00
NLI\|004245069	delete	2020-04-12T15:27:46.406027+00:00
RERO\|vtls003886183	delete	2020-06-17T01:28:22.716205+00:00
RERO\|A003886183	add	2020-06-17T22:42:42.965600+00:00
CAOONL\|ncf11349186	add	2020-07-14T15:17:13.511723+00:00

VIAF

Virtual International Authority File

Search

Takeuti, Gaisi, 1926-2017

Takeuti, Gaisi, 1926-

Takeuchi, Gaishi, 1926-2017

Takeuti, Gaisi

竹内, 外史, 1926-2017

竹内, 外史 1926-

竹内外史

竹内, 外史

Takeuti, G.

VIAF ID: 64133112 (Personal)

Permalink: http://viaf.org/viaf/64133112

Preferred Forms

4xx's: Alternate Name Forms (44)

5xx's: Related Names (1)

Works

Selected Co-authors

Countries and Regions of Publication (8)

Publication Statistics

Publication History

Identifiers

Selected Publishers (10)

About

Personal Information

Gender : Male

Nationality or associated country:

Field of Activity:

Occupation:

Language:

External Links

Record Views

History of VIAF ID:64133112 (25)