Search

You searched for: Auteur Kohlenbach Remove constraint Auteur: Kohlenbach
1 - 3 of 3
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
3. Logic, Language, Information, and Computation
thumbnail
Full text!
Author:
Kohlenbach; Barceló, Pablo; de Queiroz, Ruy J. G. B.
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book