A Theory of Constructions Equivalent to Arithmetic (1970)

by N Goodman
Venue:in Kino, Myhill and Vesley (eds.), Intuition&m and Proof Theory