Metalogic: Introduction to the metatheory of standard first order logic.

Hunter Geoffrey

Metalogic: Introduction to the metatheory of standard first order logic. - London Macmillan 1971


Philosophy
Symbolic

R14 L1

R14 L1