Amazon cover image

Image from Amazon.com

Image from Google Jackets

Normal view MARC view ISBD view

Logic and Computation Interactive Proof with Cambridge LCF

By:

Paulson, Lawrence C

Material type: Text

Text

TextSeries: Cambridge Tracts in Theoretical Computer SciencePublication details: Cambridge; CUP; 1990Description: 302pISBN:

0 521 39560 7

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	681.3 PAU (Browse shelf(Opens below))		Available		37203

There are no comments on this title.

to post a comment.

Place hold
Print
Send to device
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India