Main image
Click to view image in fullscreen
![]()
Logic and Computation
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.
630,00 DH
Sur commande
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.
| ISBN / EAN | 9780521395601 |
|---|---|
| Auteur | Paulson, Lawrence C. (University of Cambridge) |
| Editeur | Cambridge University Press |