| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| A Lattice of Chapters of Mathematics: Interpretations Between Theorems | Paperback | 978-0-8218-2488-7 | 1990 | Jan Mycielski · Alan S. Stern | |
| Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction | Gebunden | 978-3-319-00118-0 | 2013 | Pavel Pudlák | |
| Logic Colloquium '98 | Digital | 978-1-108-61848-9 | 2020 | Samuel R. Buss · Petr Hájek · Pavel Pudlák | |
| Logic Colloquium '98: Lecture Notes in Logic 13 | Hardcover | 978-1-56881-113-0 | 2000 | Sam Buss · Petr Hajek | |
| Logic Colloquium '98: Lecture Notes in Logic 13 | Paperback | 978-1-56881-114-7 | 2000 | Sam Buss · Petr Hajek | |
| Metamathematics of First-Order Arithmetic | Taschenbuch | 978-3-540-63648-9 | 1998 | Petr Hajek | |
| Metamathematics of First-Order Arithmetic | Gebunden | 978-3-540-50632-4 | 1993 | " | |
| Metamathematics of First-Order Arithmetic | Paperback | 978-0-387-50632-6 | 1992 | " |
A K Peters/CRC Press · Amer Mathematical Society · Cambridge University Press · Springer