Tools

LEADER 01353cam 2200361 a 4500

001 ocm16227523;

005 20141212030504.0;

008 870629s1987 enka b 001 0 eng ;

010 a| 87018305;

020 a| 0521346320;

035 a| (Sirsi) o16227523;

035 a| (OCoLC)16227523;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA9.59b| .P38 1987;

082 0 a| 005.12| 19;

100 1 a| Paulson, Lawrence C.=| ^A221078;

245 10 a| Logic and computation :b| interactive proof with Cambridge LCF /c| Lawrence C. Paulson.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1987.;

300 a| xiii, 302 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| 2;

500 a| Includes index.;

504 a| Bibliography: p. [289]-295.;

650 0 a| Cambridge LCF (Computer system)=| ^A221079;

650 0 a| Computable functionsx| Data processing.=| ^A221080;

830 0 a| Cambridge tracts in theoretical computer science ;v| 2.=| ^A221007;

919 a| BOOK;

596 a| 1;

998 a| 307324;

999 a| QA9.59 .P38 1987w| LCc| 1i| 30372004573181d| 1/31/2013e| 11/12/1999l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 2/7/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.

Author/creator	Paulson, Lawrence C.
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1987.
Description	xiii, 302 pages : illustrations ; 25 cm.
Subjects	Cambridge LCF (Computer system) Computable functions--Data processing.

Series	Cambridge tracts in theoretical computer science ; 2 Cambridge tracts in theoretical computer science ; 2. ^A221007
General note	Includes index.
Bibliography note	Bibliography: p. [289]-295.
LCCN	87018305
ISBN	0521346320

Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.

Click here for more information about this title