LIBRARY Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 ENGLISH · DJVU View details →
LIBRARY Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 2010 · ENGLISH · DJVU View details →
LIBRARY Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis] 1987 · ENGLISH · PDF View details →
LIBRARY Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis] 1987 · ENGLISH · DJVU View details →
LIBRARY Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 1997 · ENGLISH · PDF View details →
LIBRARY Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 1997 · ENGLISH · PDF View details →
LIBRARY Basic Model Theory (Center for the Study of Language and Information - Lecture Notes) 1996 · ENGLISH · DJVU View details →
LIBRARY The Haskell Road to Logic, Maths and Programming (Texts in Computing) 2004 · ENGLISH · PDF View details →