Effective operators on partial recursive functions, Zeitschrift für mathematische Logik Grundlagen der (1955)

by J Myhill, J C Shepherdson
Venue:Mathematik