| 
by Petr HkHardcover details (UK). details (USA). details (Germany). details (Canada). ISBN: 978-1-138-46686-9 ISBN-10: 1-138-46686-7 A K Peters/CRC Press · 2017  | 
| See also (possibly by other authors): | ||
| 2001 | Paperback | Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6 |