u k · Ulrich Kohlenbach , Penelope Maddy , Frank Stephan Edited by Franºoise Delon
Cambridge University Press · Springer
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Applied Proof Theory: Proof Interpretations and their Use in Mathematics | Gebunden | 978-3-540-77532-4 | 2008 | ||
| Applied Proof Theory: Proof Interpretations and their Use in Mathematics | Taschenbuch | 978-3-642-09627-3 | |||
| Logic Colloquium 2007 | Hardcover | 978-0-521-76065-2 | 2010 | Françoise Delon · Penelope Maddy · Frank Stephan | |
| Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings | Taschenbuch | 978-3-642-39991-6 | 2013 | Leonid Libkin · Ruy de Queiroz | |
| Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings | " | 978-3-662-44144-2 | 2014 | Pablo Barceló · Ruy J G B de Queiroz | |