| search results |

displaying 3 results for author search for 'Ulrich Kohlenbach'

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Ulrich Kohlenbach
Paperback / softback, 237 pages
ISBN-13: 9783662441442
24 Jul 2014
Readership Age:
computers / computer science Price: R 1 353.95
| on special |
normal price: R 1 503.95

This title will take longer to obtain, and should be delivered in 6-8 weeks

| read more |

| add to trolley |

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Ulrich Kohlenbach
Paperback / softback, 536 pages
ISBN-13: 9783642096273
21 Oct 2010
Readership Age:
mathematics / logic Price: R 4 814.95
| on special |
normal price: R 5 349.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Ulrich Kohlenbach
Hardback, 536 pages
ISBN-13: 9783540775324
26 May 2008
Readership Age:
mathematics / logic Price: R 4 814.95
| on special |
normal price: R 5 349.95