You are on page 1of 8

Church Rosser

03105054
03105676

(-)

''

1936AlonzoChurch

ChurchsThesis:
Everyeffectivelycalculablefunction(effectively
decidablepredicate)isgeneralrecursive

You might also like