# Mathematician:Gaisi Takeuti

## Contents

## 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**: 39 – 96) - 1971:
*Introduction to Axiomatic Set Theory*(with Wilson M. Zaring) - 1975:
*Proof Theory*(2nd edition: 1987)

## Also known as

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