Logic and computation

Logic and computation1987
Details
- First published
- 1987
- OL Work ID
- OL3260270W
Subjects
Cambridge LCF (Computer system)Data processingComputable functionsDémonstration de théorèmeCambridge LCF (logiciel)CalculabilitéFonctions calculablesComputer programsLogic, symbolic and mathematical