M Gordon
(Author)Edinburgh Lcf: A Mechanized Logic of Computation (1979)Paperback - 1979, 1 December 1979
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Part of Series
Lecture Notes in Computer Science
Print Length
161 pages
Language
English
Publisher
Springer
Date Published
1 Dec 1979
ISBN-10
3540097244
ISBN-13
9783540097242
Product Details
Authors:
Book Edition:
1979
Book Format:
Paperback
Country of Origin:
US
Date Published:
1 December 1979
Dimensions:
23.39 x
15.6 x
0.94 cm
ISBN-10:
3540097244
ISBN-13:
9783540097242
Language:
English
Location:
Berlin, Heidelberg
Pages:
161
Publisher:
Weight:
249.48 gm