ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
₹4,268
Logic and Computation
Interactive Proof with Cambridge LCF: 2
Cambridge University Press · 1990 · Paperback
₹6,096
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Logic and Computation: Interactive Proof with Cambridge LCF: 2 by Lawrence C. Paulson is a 320-page paperback edition published by Cambridge University Press in 1990. The original work dates from 1987. This is the revised edition.
Topics covered include Cambridge LCF (Computer system), Data processing, Computable functions and Démonstration de théorème.
Book details
- ISBN-13
- 9780521395601
- ISBN-10
- 0521395607
- Author
- Lawrence C. Paulson
- Publisher
- Cambridge University Press
- Published
- 1990
- First published
- 1987
- Edition
- Revised ed.
- Binding
- Paperback
- Pages
- 320
- Language
- English
- Condition
- New
- Subject
- Computer programs
More by Lawrence C. Paulson and related titles
Logic and Computation
Lawrence C. Paulson
₹2,686
Isabelle
Lawrence C. Paulson, T. Nipkow
₹5,612
Introduction to Computer Performance Analysis with Mathematica
Arnold O. Allen
₹2,980
Current Trends in Programming Methodology
K. Mani Chandy, Raymond T. Yeh
₹3,516
Portalizing Domino Applications for Websphere Portal
IBM Redbooks
₹3,688
Peachtree for Dummies
Elaine J. Marmel, Diane Koers
₹2,236
Office XP 9 in 1 Desk Reference for Dummies®
Peter Weverka, Alison Barrows, Bill Dyszel, John Walkenbach, Damon Dean, Camille McCue, Greg Harvey
₹2,626
Validation of Chromatography Data Systems
Robert McDowall
₹4,846
Using Microsoft Excel 2010
Bill Jelen, Tracy Syrstad
₹3,705
QuickBooks 2008 for Dummies
Stephen L. Nelson
₹2,923
Painter X for Photographers
Martin Addison
₹2,956