Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science)

by: Egon Borger · Yuri Gurevich Paperback details (USA). ISBN: 978-0-387-58277-1 ISBN-10: 0-387-58277-0 Springer Verlag · 1994