Logic and computation
Subtitle: interactive proof with Cambridge LCF
By: Lawrence C. Paulson.
Series: Cambridge tracts in theoretical computer science ;; 2
Publisher: Cambridge University Press
Published: 1987
Place of publication: Cambridge; New York
Language: eng
Number of pages: 302
Subjects: Cambridge LCF (Computer system); Computable functions -- Data processing.
Notes: Bibliography: p. [289]-295.
Includes index.