First order mathematical logic
Publisher: Blaisdell Pub. Co
Published: 1967-01-01