5 books • 1 series
An Introduction to Proof Theory
La lira de Lucy
Inlet Velocity Profile Optimization of the Turbine 99 Draft Tube
Analytic Philosophy Without Naturalism (Routledge Studies in Twentieth-Century Philosophy, #10)
Einfuhrung in Die Unvollstandigkeitstheoreme