Kohlenbach, U.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Applied proof theory :proof interpretations and their use in mathematics /
by:
Kohlenbach, U.
(Language materials, printed)