انتشارات Association For Symbolic Logic
Inexhaustibility: A Non-Exhaustive Treatment
Torkel Franzén, 2004
A Course in Model Theory
Katrin Tent, Martin Ziegler, 2012
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel(eds.), 2000
The Notre Dame Lectures: Lecture Notes in Logic, 18
Peter Cholak(eds.), 2005
Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Viggo Stoltenberg-Hansen, Jouko Väänänen(eds.), 2006
