VIAF

Virtual International Authority File

Search

Takeuti, Gaisi, 1926- National Library of Israel National Library of the Netherlands National Library of Sweden National Library of the Czech Republic NUKAT Center of Warsaw University Library

Takeuti, Gaisi, 1926-2017 Library of Congress/NACO German National Library

Takeuchi, Gaishi, 1926-.... Sudoc [ABES], France National Library of France

竹内, 外史, 1926-2017 National Diet Library, Japan

Takeuti, Gaisi National Library of Poland BIBSYS

竹内, 外史 1926- ISNI

竹内, 外史 NII (Japan)

竹内外史 Wikidata

VIAF ID: 64133112 (Personal)

Permalink: //viaf.org/viaf/64133112

ISNI: 0000  0001  0909  2712 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (33)

Open Section Close SectionWorks

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

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:64133112 (19)