Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science - Paulson, Lawrence C. (University of Cambridge) - Books - Cambridge University Press - 9780521395601 - July 26, 1990
In case cover and title do not match, the title is correct

Paulson, Lawrence C. (University of Cambridge)
Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science

Price
$ 79.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

320 pages, bibliography, index

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 26, 1990
ISBN13 9780521395601
Publishers Cambridge University Press
Pages 320
Dimensions 187 × 247 × 19 mm   ·   574 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

Mere med samme udgiver

See all of Paulson, Lawrence C. (University of Cambridge) ( e.g. Paperback Book )