4 books • 1 series
Geschichte Der Oeffentlichen Finanzen in Europa in Spaetmittelalter Darstellung - Analyse - Bibliographie
Proof Theory of Impredicative Subsystems of Analysis
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics, #897)
Planning a Computer System