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