Logic and Computation
Lawrence C. (University of Cambridge) Paulson
Cambridge University Press, 1990
88,75 €On orderDelivery: 2-3 weeks
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-13
- 9780521395601
- ISBN-10
- 0521395607
- Publisher
- Cambridge University Press
- Year
- 1990
- Publication date
- 1990-07-26
- Pages
- 320
- Dimensions
- 247x187x19
- Weight
- 574