Takeuti, Gaisi, 1926-
竹内, 外史, 1926-
Takeuchi, Gaishi, 1926-....
Gaisi Takeuti
VIAF ID: 64133112 (Personal)
Permalink: http://viaf.org/viaf/64133112
Preferred Forms
-
100 0 _ ‡a Gaisi Takeuti
-
100 1 _ ‡a Takeuchi, Gaishi, ‡d 1926-....
-
100 1 _ ‡a Takeuti, Gaisi, ‡d 1926-
-
100 1 _ ‡a Takeuti, Gaisi ‡d (1926- ).
-
100 1 _ ‡a Takeuti, Gaisi, ‡d 1926-
-
100 1 _ ‡a Takeuti, Gaisi ‡d 1926-
-
200 _ | ‡a Takeuchi ‡b Gaishi ‡f 1926-....
-
100 1 _ ‡a Takeuti, Gaisi, ‡d 1926-
-
100 1 _ ‡a 竹内, 外史, ‡d 1926-
Uniform Title Links (2)
4xx's: Alternate Name Forms (13)
Selected Titles
- Proof theory
(9)
- Introduction to axiomatic set theory
(7)
- Axiomatic set theory
(4)
- 直観主義的集合論
(3)
- Two applications of logic to mathematics
(3)
- Gēderu.
(3)
- Formally self-referential propositions for cut free classical analysis and related systems
(3)
- Chokkan shugi teki shūgōron
(3)
- 集合とはなにか : はじめて学ぶ人のために
(2)
- 証明論入門
(2)
