A theory of constructions equivalent to arithmetic (1970)

by N Goodman
Venue:Myhill and Vesley