Gaisi Takeuti

Personal Information

Born January 1, 1926 (100 years old)

Also known as: G. Takeuti

4 books

0.0 (0)

0 readers

Description

There is no description yet, we will add it soon.

Books

Proof theory

0.0 (0)

0

Memoirs of a proof theorist

0.0 (0)

0

Axiomatic set theory

Saunders Mac Lane, Gaisi Takeuti, Paul Bernays

0.0 (0)

0

Two applications of logic to mathematics

0.0 (0)

0