Metalogic
Subtitle: an introduction to the metatheory of standard first order logic.
Publisher: University of California Press
Published: 1971
Place of publication: Berkeley
Language: eng
Number of pages: 288
Subjects: First-order logic
Notes: Bibliography: p. [262]-274.