Mathematical logic
Publisher: Addison-Wesley Pub. Co.
Published: 1967-01-01