Logic and Computation
Subtitle: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Edition: New Ed edition
Publisher: Cambridge University Press
Published: July 27, 1990
Language: eng
Format: Paperback
Number of pages: 320
ISBN-13: 9780521395601
Subjects: Mainframes & minicomputers; Mathematical logic; Mathematical theory of computation; Mathematical And Symbolic Logic; Application Software; Computers; Computers - Certification; Computer Books: General; Computer Books: Languages; Programming - Software Development; Certification Guides - General; Cambridge LCF (Computer system); Cambridge LCF (Computer system) Cambridge LCF; Computers / Programming / Software Development; Computers / Technical Skills
First sentence: Cambridge LCF is an interactive theorem prover for reasoning about computable functions.