by Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, Yuri Gurevich
No users with this book on their shelves. Maybe you could be the first.
No reviews yet. Add your review.
No lists containing this book.
The Amazon links are affiliate links
Springer-Verlag
Springer-Verlag
ISBN 10: 3540582770