Mathematical Logic and Foundations
Mathematics , LecturesCabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85
Free Download
ComputersCategory Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Free Download
ComputersCategory Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
Free Download
Mathematics , AlgebraCategory Theory: Proceedings of the International Conference held in Como, Italy, July 22–28, 1990
Free Download
Education , International Conferences and SymposiumsClassification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985
Free Download
- Mathematics , Computational Mathematics
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC’93 Brno, Czech Republic, August 24–27, 1993 Proceedings
Free Download 
