Logic and Computation: Interactive Proof with Cambridge Lcf by Lawrence C. Pauls
63,51 €
Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation.
Jetzt bei Ebay:
