Mathematical Foundations of Computer Science 1990 Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings by Branislav Rovan | Menrva Books | MenrvaBooks