em Set-theoretic functions for elementary syntax (1974)

by R O Gandy
Venue:In Axiomatic set theory, Part 2, AMS