Logic and computation interactive proof with Cambridge LCF

Saved in:

Bibliographic Details
Main Author:	Paulson, Lawrence C
Format:	Unknown
Published:	Cambridge New York Cambridge University Press 1990
Series:	Cambridge tracts in theoretical computer science 2
Subjects:	Cambridge LCF (computer system) Computable functions > Data processing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet