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