A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS

by Nachum Dershowitz , Yuri Gurevich
Citations:23 - 10 self