Report - A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.

Please pass captcha verification before submit form