Tarlecki, A. Mathematical foundations of computer science 1991 16th. intl. symposium /ed. by A. Tarlecki - Berlin S-V 1991 - xi, 435p - Lecture Notes in Computer Science 520 . ISBN: 3540543457 Subjects--Index Terms: Computer science - Mathematics Dewey Class. No.: 005.131 / N915