A language and axioms for explicit mathematics, in: Algebra and (1975)

by S Feferman
Venue:Logic, Lecture Notes in Mathematics