Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

Mathematical foundations of computer science 1975: 4th Symposium, Marianske Lazn

Mathematical Foundations of Computer Science 1986: 12th Symposium held at bratis

Havel - Mathematical Foundations of Computer Science 1992 17th Inter - X555z

Graph theory and algorithms 17th symposium of Research Institute of Electrical C

Applications of categories in computer science proceedings of the LMS Symposium,

Mathematical Foundations of Computer Science 1993. 18th Intern. Symposium, Gdans

Communicating Science to the Public (Ciba Foundation Symposium),