A K Peters/CRC Press · Springer
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Advances in Proof Theory | Taschenbuch | 978-3-319-80513-9 | 2018 | Thomas Strahm · Thomas Studer | |
| Advances in Proof Theory | Gebunden | 978-3-319-29196-3 | 2016 | Thomas Strahm · Thomas Studer | |
| Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings | Taschenbuch | 978-3-642-04026-9 | 2009 | Erich Grädel | |
| Gentzen's Centenary: The Quest for Consistency | " | 978-3-319-10102-6 | 2015 | Michael Rathjen | |
| Intensionality: Lecture Notes in Logic 22 | Paperback | 978-1-56881-268-7 | 2005 | ||
| Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings | Taschenbuch | 978-3-540-42752-0 | 2008 | Peter Schroeder-Heister · Robert St??rk | |
R.K. · Reinhard Kähle · Reinhard Kahl · Reinhard Keil · Reinhard Kühl · Reinhardt Kiehl · Rinhardt Kiehl