A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS (2008)

by Nachum Dershowitz , Yuri Gurevich
Citations:42 - 17 self