Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

New
Paperback
1990
$57.94

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.

Synopsis

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.

$57.94

Quantity

10 in stock

More Information

Format: Paperback
Pages: 320
Edition: New Ed
Publisher: Cambridge University Press
Published: 26 Jul 1990
ISBN 10: 0521395607
ISBN 13: 9780521395601