|   | by: Egon Borger · G. Jager · H. Kleine BuningPaperback 
 
 
 ISBN: 978-0-387-56992-5 ISBN-10: 0-387-56992-8 Springer Verlag · 1993 | 
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, Band 702) |