Axiomatic recursive function theory (1971)

by H Friedman
Venue:In Logic Colloquium '69, Studies in Logic, North