L
Leon Henkin
9 works on record
Works

Retracing elementary mathematics

The axiomatic method

The Axiomatic Method, with Special Reference to Geometry and Physics

Logical systems containing only a finite number of symbols (Seminaire de mathematiques superieures)

Mathematics

Cylindric algebras
Logical systems containing only a finite number of symbols
Logical systems containing only a finite number of symbols
Theory of Models
Theory of Models
La structure algébrique des théories mathématiques
La structure algébrique des théories mathématiques