ProofWiki:Mathematicians/Gaisi Takeuti
From ProofWiki
Gaisi Takeuti (竹内 外史, also rendered Takeuchi Gaishi) is a Japanese mathematician specialising in logic and set theory.
Contents |
Nationality
Japanese
History
- Born: 1926
Theorems and Definitions
Books, Papers and Other Creations
- 1953: On a generalized logic calculus (Japanese Journal of Mathematics Vol. 23: 39 – 96)
- 1971: Introduction to Axiomatic Set Theory
