Barnes and Noble
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings / Edition 1
Unfortunately, this item is no longer available, but we found some similar items you might like.