VIAF

Virtual International Authority File

Search

Takeuti, Gaisi, 1926- National Library of the Czech Republic Library of Congress/NACO German National Library National Library of the Netherlands National Library of Sweden NUKAT Center of Warsaw University Library

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

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

Gaisi Takeuti Wikidata

Takeuti, Gaisi National Library of Poland German National Library

TAKEUTI, G. German National Library

VIAF ID: 64133112 (Personal)

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

ISNI: 0000  0001  0909  2712 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Chokkan shugi teki shūgōron National Diet Library, Japan
Formally self-referential propositions for cut free classical analysis and related systems / G. Kreisel and G. Takeuti. - Warszawa, 1974 NUKAT Center of Warsaw University Library National Library of Poland National Library of the Netherlands
Gēderu National Library of the Czech Republic National Diet Library, Japan Library of Congress/NACO
Gödel and other logicians National Library of France
Introduction to axiomatic set theory National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library
Isō 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 NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Mugenshō kaiseki to butsurigaku National Diet Library, Japan
Pī to enupī National Diet Library, Japan
Proof theory National Library of the Czech Republic Library of Congress/NACO Sudoc [ABES], France xR Extended Titles National Library of the Netherlands National Library of Sweden NUKAT Center of Warsaw University Library National Library of France
PとNP : 計算量の根本問題 National Diet Library, Japan
Rī daisū to soryūshiron National Diet Library, Japan
Senkei daisū to ryōshi rikigaku National Diet Library, Japan
Senkei ronri nyūmon National Diet Library, Japan
Shōmeiron nyūmon National Diet Library, Japan
Shūgō towa nanika : Hajimete manabu hito no tameni National Diet Library, Japan
Sō ken toposu National Diet Library, Japan
Sūgaku kara butsurigaku e National Diet Library, Japan
Sūgaku kisoron National Diet Library, Japan
Sūgakuteki sekaikan : gendai sūgaku no shisō to tembō Library of Congress/NACO National Diet Library, Japan
Sūri ronrigaku : go no mondai Library of Congress/NACO National Diet Library, Japan
Teoriâ dokazatel'stv NUKAT Center of Warsaw University Library Sudoc [ABES], France
Two applications of logic to mathematics NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO National Library of France
Теория доказательств Sudoc [ABES], France
ゲーデル xR Extended Titles National Diet Library, Japan
ゲーデルの夢 : 数学 National Diet Library, Japan
リー代数と素粒子論 National Diet Library, Japan
集合とはなにか : はじめて学ぶ人のために National Diet Library, Japan
位相幾何学 National Diet Library, Japan
層・圈・トポス : 現代的集合像を求めて National Diet Library, Japan
数学から物理学へ National Diet Library, Japan
数学基礎論 National Diet Library, Japan
数学基礎論の世界 : ロジックの雑誌帳から National Diet Library, Japan
数学的世界観 : 現代数学の思想と展望 National Diet Library, Japan
数理論理学 : 語の問題 National Diet Library, Japan Library of Congress/NACO
無限小解析と物理学 National Diet Library, Japan
現代集合論入門 National Diet Library, Japan
直観主義的集合論 National Diet Library, Japan
線型論理入門 National Diet Library, Japan
線形代数と量子力学 National Diet Library, Japan
証明論と計算量 National Diet Library, Japan
証明論入門 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries 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 (32)