Foundational and mathematical uses of higher types (1999)

by Ulrich Kohlenbach
Venue:REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAY IN HONOR OF SOLOMON FEFERMAN
Citations:8 - 2 self

Document Versions

Foundational and mathematical uses of higher types –Ulrich Kohlenbach — 1999 — REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAY IN HONOR OF SOLOMON FEFERMAN
Foundational and Mathematical Uses of Higher Types –Ulrich Kohlenbach — 2000
Foundational and Mathematical Uses of Higher Types –Ulrich Kohlenbach — Reflections on the Foundations of Mathematics: Essay in Honor of Solomon Feferman
Foundational and mathematical uses of higher types –Ulrich Kohlenbach — 1999 — REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAY IN HONOR OF SOLOMON FEFERMAN