+ wishlist Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science #78) [9783540097242] Add to Cart The item has been added Author: M. Gordon R. Milner C.P. Wadsworth Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science #78) [9783540097242] Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% List Price As Low as $22.99 Format: Paperback
