Implementing Mathematics with The Nuprl Proof Development System Contributor(s): Constable, R. L. (Author) |
|
ISBN: 1468059106 ISBN-13: 9781468059106 Publisher: Createspace Independent Publishing Platform OUR PRICE: $12.26 Product Type: Paperback Published: January 2012 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Computer Science |
Dewey: 511.3 |
Physical Information: 0.65" H x 5.98" W x 9.02" (0.92 lbs) 310 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Four goals of the book:
|