College Publications · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Goedel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy - Brno, Czech Republic, August 1996, Proceedings | 978-3-540-61434-0 (3-540-61434-6) | 1996 | ||
| Logic, Methodology and Philosophy of Science | 978-1-904987-21-5 (1-904987-21-4) | 2005 | L. Valdes-Villanueva · D. Westerstahl | |
Edited by Petr Hájek · P. H. · Peter Hajek · Petr Hajek · Petr Hájek Tomás Havránek