Axiomatic recursive function theory (1971)

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