LIBRARY Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 2010 · ENGLISH · DJVU View details →
LIBRARY La Matematica della Verità. Strumenti matematici della semantica logica 2006 · ITALIAN · DJVU View details →
LIBRARY Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 1999 · ENGLISH · PDF View details →