Metalogic
Subtitle: An Introduction to the Metatheory of Standard First Order Logic
Publisher: Macmillan Publishers Limited
Published: 1971
Language: eng
ISBN-13: 9780333115909
Subjects: First-order logic