The axiomatic method
Subtitle: an introduction to mathematical logic
Publisher: Prentice-Hall
Published: 1964-01-01