Logic and Computation
Subtitle: Interactive Proof with Cambridge LCF
By: Lawrence C. Paulson
Contributors: Cambridge University Press
Series: Cambridge Tracts in Theoretical Computer Science -- no. 2; Cambridge Tracts in Theoretical Computer Science -- no. 2.
Publisher: Cambridge University Press
Published: 1987
Place of publication: Cambridge
Language: eng
Format: [electronic resource] :
Number of pages: 320
ISBN-13: 9780511526602
Subjects: Cambridge LCF (Computer system); Data processing; Computable functions
Other titles: Cambridge books online.
Notes: Title from publishers bibliographic system (viewed on 10 Sep 2010).

Also issued in print format.

Mode of access: World Wide Web.