Alonzo Church: Difference between revisions

Content deleted Content added
Smithph (talk | contribs)
mNo edit summary
Tillmo (talk | contribs)
Line 13:
* [[Church-Turing Thesis]]
* [[Church-Turing-Deutsch principle]]
* [[Higher-order logic]]
 
==Books==