Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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
|
zzzz
Libraries near you:
WorldCat
|
2
Logic and Computation: Interactive Proof with Cambridge LCF
1987, Cambridge University Press
electronic resource :
in English
0511526601 9780511526602
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Title from publishers bibliographic system (viewed on 10 Sep 2010).
Also issued in print format.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 5, 2019
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
October 4, 2021 | Edited by ImportBot | import existing book |
July 5, 2019 | Created by MARC Bot | Imported from Internet Archive item record |