Metalogic
Subtitle: an introduction to the metatheory of standard first order logic. --
Place of publication: London
Number of pages: 288
Subjects: First order logic.
Notes: 6