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)