Search

You searched for: Auteur Kohlenbach, Ulrich Remove constraint Auteur: Kohlenbach, Ulrich
1 - 2 of 2
Number of results to display per page

Search Results

1. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
thumbnail
Full text!
Author:
Kohlenbach, Ulrich
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
2. Logic, Language, Information, and Computation
thumbnail
Full text!
Author:
Libkin, Leonid; Kohlenbach, Ulrich; de Queiroz, Ruy; de Queiroz, Ruy; Kohlenbach, Ulrich
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book