General recursion theory: an axiomatic approach (1980)

by J E Fenstad
Venue:Perspectives in Mathematical Logic