Tomeki
Cover of Logic and computation

Logic and Computation

Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

By Lawrence C. Paulson

0 (0 Ratings)
0 Want to read0 Currently reading0 Have read

Publish Date

July 27, 1990

Publisher

Cambridge University Press

Language

eng

Pages

311

Description:

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