Pure Iteration and Substitution as the Basis of Computability

Bulletin of the Section of Logic, Tom 40, Numer 3-4 (2011) s. 203-213
Yehuda Schwartz, George Tourlakis

 

do góry