Items related to Implementing Mathematics with The Nuprl Proof Development...
Synopsis
Four goals of the book:
- Offer a tutorial on mathematical ideas which underlie our research
- Serve as a manual for users of the Nuprl system
- Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area
- Present research which has arisen as we have worked on the Nuprl system
"synopsis" may belong to another edition of this title.
- PublisherCreateSpace Independent Publishing Platform
- Publication date2012
- ISBN 10 1468059106
- ISBN 13 9781468059106
- BindingPaperback
- LanguageEnglish
- Number of pages310
Search results for Implementing Mathematics with The Nuprl Proof Development...
Seller Image
Implementing Mathematics With the Nuprl Proof Development System
Published by
CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106
ISBN 13: 9781468059106
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 17877740
Quantity: Over 20 available
Seller Image
Implementing Mathematics With the Nuprl Proof Development System
Published by
CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106
ISBN 13: 9781468059106
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 17877740-n
Quantity: Over 20 available
Stock Image
Implementing Mathematics with The Nuprl Proof Development System
Published by
CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106
ISBN 13: 9781468059106
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # I-9781468059106
Quantity: Over 20 available
Stock Image
Implementing Mathematics with The Nuprl Proof Development System
Published by
Createspace Independent Publishing Platform, 2012
ISBN 10: 1468059106
ISBN 13: 9781468059106
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 447. Seller Inventory # C9781468059106
Quantity: Over 20 available
Seller Image
Implementing Mathematics With the Nuprl Proof Development System
Published by
CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106
ISBN 13: 9781468059106
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 17877740-n
Quantity: Over 20 available
Seller Image
Implementing Mathematics With the Nuprl Proof Development System
Published by
CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106
ISBN 13: 9781468059106
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 17877740
Quantity: Over 20 available