Zoeken

U zocht naar: Auteur Kohlenbach, Ulrich Filter Auteur: Kohlenbach, Ulrich weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

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