Center for the Study of Language and Inf · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings | Taschenbuch | 978-3-540-52335-2 | 2008 | Per Martin-L??f | |
| Games, Logic, and Constructive Sets | Hardcover | 978-1-57586-449-5 | 2003 | Reinhard Muskens | |
| Games, Logic, and Constructive Sets | Paperback | 978-1-57586-450-1 | 2003 | " | |
| Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996 | Taschenbuch | 978-3-540-64668-6 | 1998 | Jesus M. Larrazabal · Daniel Lascar |