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