Mathematical foundations of computer science 1986 by Symposium on Mathematical Foundations of Computer Science (12th 1986 Bratislava, Czechoslovakia) | Menrva Books | MenrvaBooks