MathematicsProject 2061 (American Association for the Advancement of Science). Phase I Mathematics Panel., David Blackwell, Leon Henkin · First published 1989Open the Tome
Logical systems containing only a finite number of symbolsLeon Henkin · First published 1967Open the Tome
The axiomatic method with special reference to geometry and physicsLeon Henkin · First published 1959Open the Tome