Ulrich Kohlenbach

Ulrich Kohlenbach is the author of "Applied Proof Theory: Proof Interpretations and Their Use in Mathematics", "Logic Colloquium 2007", "Logic, Language, Information, and Computation" and "Applied Proof Theory".

Books by Ulrich Kohlenbach

Applied Proof The...
Kohlenbach, Ulrich
Paperback: $139.99

Logic Colloquium ...
Delon, Françoise
Electronic book text: $150.00

Logic Colloquium ...
Delon, Françoise
Electronic book text: $125.00

Applied Proof The...
Kohlenbach, Ulrich
Electronic book text: $99.00

Logic Colloquium ...
Delon Françoise
Electronic book text:

Logic, Language, ...
Libkin Leonid
Paperback: $49.99

Applied Proof The...
Kohlenbach, Ulrich
Hardback: $139.99

Logic, Language, ...
Kohlenbach Ulrich
Paperback: $54.99

Logic Colloquium ...
Delon Françoise
Hardback:

Logic Colloquium ...
Delon Françoise
Digital download and online: $165.00

Logic, Language, ...
Kohlenbach Ulrich
Paperback:

Logic Colloquium ...
Delon Françoise
Digital download and online: