LIBRARY Kurt Gödel and the Foundations of Mathematics: Horizons of Truth 2011 · ENG · PDF View details →
LIBRARY Kurt Goedel and the Foundations of Mathematics Horizons of Truth ENGLISH · PDF View details →
LIBRARY Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 2005 · ENGLISH · DJVU View details →