Leon Henkin

The face

The background

Nationality:

American

Schools:

First-order logic, Type theory, Cylindric algebra, Nominalism

Branchs:

Mathematical logic, Model theory, Type theory, Algebra, Algebraic logic, Philosophy of mathematics, Mathematics Education

Period:

20th century

The synopsis