Logic and Computation: Interactive Proof With Cambridge LCF

Cambridge Tracts in Theoretical Computer Science

by Lawrence C. Paulson

This study of techniques for formal theorem-proving focuses on the applications of Cambridge LCF (Logic for Computable Functions), a computer program for reasoning about computation.

Genres: Logic, Computer Science

Paperback

First published October 15, 1987