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, 1990, c1987

• : pbk

Note

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

Bibliography: p. 289-295

Includes index

Details

• NCID: BA29634901
• ISBN:
  • 0521395607
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• 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