Metalogic : an introduction to the metatheory of standard first order logic

Geoffrey Hunter
Bok · Engelsk · 1971

Utgitt	Berkeley : Univ. of California press , 1971
ISBN	0520018222