Logic at Botik 89: Symposium on Logical Foundations of Computer Science Pereslavl Zalessky USSR July 1989 (Lecture Notes in Computer Science)

by A. R. Meyer Paperback details (USA). ISBN: 978-0-387-51237-2 ISBN-10: 0-387-51237-3 Springer Verlag · 1989