A language and axioms for explicit mathematics (1975)

by S Feferman
Venue:In Algebra and Logic, Volume 450 of Springer Lecture Notes in Mathematics