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