An introduction to mathematical logic
Publisher: Prentice-Hall
Published: 1969-01-01