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

av Hunter, Geoffrey
Publicerad 1971

Independence-friendly logic : a game-theoretic approach /

av Mann, Allen L., Sandu, Gabriel, Sevenster, Merlijn
Publicerad 2011

Simple theories and hyperimaginaries /

av Casanovas, Enrique
Publicerad 2011

Principles of mathematics revisited /

av Hintikka, Jaakko
Publicerad 1996