Review of “Peter, R., Rekursive Funktionen (1951)

by R M Robinson
Venue:The Journal of Symbolic Logic