ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
₹4,268
Logic and Computation
Interactive Proof with Cambridge LCF
Cambridge University Press · 1987
₹2,686
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 by Lawrence C. Paulson is a 320-page book published by Cambridge University Press in 1987. The book is part of the Cambridge tracts in theoretical computer science series.
Its main subjects are Cambridge LCF (Computer system), Data processing, Computable functions and Démonstration de théorème.
Book details
- ISBN-13
- 9780521346320
- ISBN-10
- 0521346320
- Author
- Lawrence C. Paulson
- Publisher
- Cambridge University Press
- Published
- 1987
- Series
- Cambridge tracts in theoretical computer science
- Pages
- 320
- Language
- English
- Condition
- New
- Subject
- Computer programs
More by Lawrence C. Paulson and related titles
Logic and Computation
Lawrence C. Paulson
₹6,096
Isabelle
Lawrence C. Paulson, T. Nipkow
₹5,612
UML for Developing Knowledge Management Systems
Anthony J. Rhem
₹7,476
Introduction to VBA for Excel
Steven Chapra
₹4,499
Microsoft Excel and Access Integration
Michael Alexander, Geoffrey Clark
₹2,751
Making Effective Business Decisions Using Microsoft Project
Tim Runcie
₹2,829
One Hundred and One Apple Computer Programming Tips and Tricks
F. White
₹3,046
Understanding Political Science Statistics using Stata
Peter Galderisi, Ellen Seljan
₹3,995
Professional Microsoft Search
Richard Riley, Shane Young, Thomas Rizzo
₹3,122
Adobe Dimension Classroom in a Book
Keith Gilbert
₹3,355
Z
Antoni Diller
₹4,765