Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Logic and Computation: Interactive Proof with Cambridge LCF
2011, Cambridge University Press
in English
0511873255 9780511873256
|
aaaa
Libraries near you:
WorldCat
|
2
Logic and Computation: Interactive Proof with Cambridge LCF
1987, Cambridge University Press
electronic resource :
in English
0511526601 9780511526602
|
zzzz
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?History
- Created November 19, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
November 19, 2022 | Created by ImportBot | Imported from Better World Books record |