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

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