Title: Logic and computation
First published: 1987
Subjects: Cambridge LCF (Computer system), Data processing, Computable functions, Démonstration de théorème, Cambridge LCF (logiciel), Calculabilité, Fonctions calculables, Computer programs, Logic, symbolic and mathematical
LC classification: QA9.59 .P38 1987