Logic and computation : interactive proof with Cambridge LCF

Author(s)

• Paulson, Lawrence C.

Bibliographic Information

Logic and computation : interactive proof with Cambridge LCF

Lawrence C. Paulson

（Cambridge tracts in theoretical computer science, 2）

Cambridge University Press, c1987

Note

"First paperback edition 1990."--T.p. verso

Bibliography: p. 289-295

Includes index

Details

• NCID: BA01002402
• ISBN:
  • 0521346320
• LCCN: 87018305
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge ; New York
• Pages/Volumes: xiii, 302 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.59
  • DC19 : 005.1
• Subject Headings:
  • LCSH : Cambridge LCF (Computer system)
  • LCSH : Computable functions -- Data processing
• Parent Bibliography ID:
  • BA01121831