10 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
10 results

Your search for Ulrich Kohlenbach

  1. Cover: Logic, Language, Information, and Computation - Springer
    Ulrich Kohlenbach | Pablo Barceló | Ruy J. G. B. de Queiroz
    Logic, Language, Information, and Computation
    21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
    08/2014
    1st EDN1st Edition
    Springer
    9783662441459 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
    New edition available
  2. Cover: Logic, Language, Information, and Computation - Springer
    Leonid Libkin | Ulrich Kohlenbach | Ruy de Queiroz
    Logic, Language, Information, and Computation
    20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
    08/2013
    1st EDN1st Edition
    Springer
    9783642399923 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
    New edition available
  3. Cover: Logic Colloquium 2007 - Cambridge University Press
    Francoise Delon | Ulrich Kohlenbach | Penelope Maddy
    Logic Colloquium 2007
    07/2010
    1st EDN1st Edition
    Cambridge University Press
    9780511784132 (ISBN)
    E-Book
    PDF
    Other editions
    €32.49
    Available for download
  4. Cover: Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer
    Ulrich Kohlenbach
    Applied Proof Theory: Proof Interpretations and their Use in Mathematics
    05/2008
    1st EDN1st Edition
    Springer
    9783540775331 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  5. Cover: Logic, Language, Information, and Computation - Springer
    Leonid Libkin | Ulrich Kohlenbach | Ruy de Queiroz
    Logic, Language, Information, and Computation
    20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
    08/2013
    Springer
    9783642399916 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  6. Cover: Logic, Language, Information, and Computation - Springer
    Ulrich Kohlenbach | Pablo Barceló | Ruy J. G. B. de Queiroz
    Logic, Language, Information, and Computation
    21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
    07/2014
    Springer
    9783662441442 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 7-9 days
  7. Cover: Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer
    Ulrich Kohlenbach
    Applied Proof Theory: Proof Interpretations and their Use in Mathematics
    10/2010
    Springer
    9783642096273 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 7-9 days
  8. Cover: Logic Colloquium 2007 - Cambridge University Press
    Francoise Delon | Ulrich Kohlenbach | Penelope Maddy
    Logic Colloquium 2007
    03/2014
    Cambridge University Press
    9781107696778 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.00
    Shipment within 15-20 days
  9. Cover: Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer
    Ulrich Kohlenbach
    Applied Proof Theory: Proof Interpretations and their Use in Mathematics
    05/2008
    Springer
    9783540775324 (ISBN)
    Book
    Hardback
    Other editions
    €139.09
    Shipment within 10-15 days
  10. Cover: Logic Colloquium 2007 - Cambridge University Press
    Francoise Delon | Ulrich Kohlenbach | Penelope Maddy
    Logic Colloquium 2007
    06/2010
    Cambridge University Press
    9780521760652 (ISBN)
    Book
    Hardback
    Other editions
    €142.70
    Shipment within 15-20 days