Produkt mají v nabídce:
Logic and Computation - Paulson, Lawrence C. (University of Cambridge)
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.
