1 work Add another?
Showing ebooks only. Would you like to see everything by this author?
Subjects
Calculabilité, Cambridge LCF (Computer system), Cambridge LCF (logiciel), Computable functions, Computer programs, Data processing, Démonstration de théorème, Fonctions calculables, Logic, symbolic and mathematicalID Numbers
- OLID: OL531322A
Links (outside Open Library)
No links yet. Add one?
August 29, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |