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

by S Feferman
Venue:Lecture Notes in Mathematics