- Series: Lecture Notes in Computer Science (Book 78)
- Paperback: 161 pages
- Publisher: Springer; 1979 edition (January 16, 1980)
- Language: English
- ISBN-10: 3540097244
- ISBN-13: 978-3540097242
- Product Dimensions: 6.1 x 0.4 x 9.2 inches
- Shipping Weight: 9.6 ounces (View shipping rates and policies)
- Average Customer Review: Be the first to review this item
- Amazon Best Sellers Rank: #5,305,500 in Books (See Top 100 in Books)
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science) 1979th Edition
Use the Amazon App to scan ISBNs and compare prices.
The Amazon Book Review
Author interviews, book reviews, editors picks, and more. Read it now
|5 star (0%)|
|4 star (0%)|
|3 star (0%)|
|2 star (0%)|
|1 star (0%)|