Recursive programs as definitions in first order logic (1984)

by R Cartwright
Venue:SIAM Journal on Computing