GOR013310908

9783540097242

3540097244

Edinburgh LCF: A Mechanized Logic of Computation by M. Gordon

Used - Well Read

Paperback

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

1979-12-01

161

N/A

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

This is a used book. We do our best to provide good quality books for you to read, but there is no escaping the fact that it has been owned and read by someone else previously. Therefore it will show signs of wear and may be an ex library book