A language and axioms for explicit mathematics (1975)

by S Feferman
Venue:Algebra and Logic, volume 450 of Lecture Notes in Mathematics