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

द्वारा Hunter, Geoffrey
प्रकाशित 1971

Independence-friendly logic : a game-theoretic approach /

द्वारा Mann, Allen L., Sandu, Gabriel, Sevenster, Merlijn
प्रकाशित 2011

Simple theories and hyperimaginaries /

द्वारा Casanovas, Enrique
प्रकाशित 2011

Principles of mathematics revisited /

द्वारा Hintikka, Jaakko
प्रकाशित 1996