Edinburgh Lcf : A Mechanized Logic of Computation, Paperback by Gordon, M.; Milner, R.; Wadsworth, C. P., ISBN 3540097244, ISBN-13 9783540097242, Brand New, Free shipping in the US
Edinburgh Lcf : A Mechanized Logic of Computation, Paperback by Gordon, M.; Milner, R.; Wadsworth, C. P., ISBN 3540097244, ISBN-13 9783540097242, Brand New, Free shipping in the US
Edinburgh Lcf : A Mechanized Logic of Computation, Paperback by Gordon, M.; Milner, R.; Wadsworth, C. P., ISBN 3540097244, ISBN-13 9783540097242, Brand New, Free shipping in the US