# Mathematician:Gaisi Takeuti

Jump to navigation
Jump to search

## Mathematician

Japanese mathematician specialising in logic and set theory.

## Nationality

Japanese

## History

- Born: January 25, 1926
- Died: May 10, 2017

## Theorems and Definitions

## Publications

- 1953:
*On a generalized logic calculus*(*Japanese Journal of Mathematics***Vol. 23**: pp. 39 – 96) - 1971:
*Introduction to Axiomatic Set Theory*(with Wilson M. Zaring)

- 1975:
*Proof Theory*- 1987:
*Proof Theory, 2nd ed.*

- 1987:

## Also known as

**Gaisi Takeuti** (**竹内 外史**) is also seen rendered as **Takeuchi Gaishi**.