Myhill’s theory of combinatorial functions (1990)

by Jacob C E Dekker
Venue:Modern Logic