Enlarge

Logic and computation : interactive proof with Cambridge LCF

Lawrence C. Paulson

Publication Data

Title Logic and computation : interactive proof with Cambridge LCF
Author Lawrence C. Paulson
Publisher Cambridge University Press
Publication date 1987
Publication location Cambridge
Language English

Topics

Cambridge LCF (Computer system)
Computable functions :: Data processing

Catalogue Data

OBNB ID GB8735824
ISBN 10 0521346320
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.125

ISBD

P1053 1 v.
P1042 Includes bibliography and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logic and computation : interactive proof with Cambridge LCF by Lawrence C. Paulson. ISBN 0521346320. Published by Cambridge University Press in 1987. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.