Lutz Heindorf. Elementare Beweistheorie. B. I. Wissenschaftsverlag, Mannheim, Leipzig, Wien, und Zürich, 1994, 240 S.
Buchholz, WilfriedVolume:
61
Language:
german
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275801
Date:
September, 1996
File:
PDF, 356 KB
german, 1996