S. Barry Cooper-Herman Geuvers-Anand Pillay-Jouko Vaananen

Logic Colloquium 2006 - Cambridge University Press 2009 - Lecture Notes in Logic .

9780521110815


Logic
Logic, Symbolic and mathematical--Congresses.
MATHEMATICS