Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Implementing Mathematics with The Nuprl Proof Development System (Paperback) Loot Price: R416
Discovery Miles 4 160
Add to cart
Implementing Mathematics with The Nuprl Proof Development System (Paperback): R.L. Constable

Implementing Mathematics with The Nuprl Proof Development System (Paperback)

R.L. Constable

 (sign in to rate)
Loot Price R416 Discovery Miles 4 160

Bookmark and Share

Expected to ship within 10 - 15 working days

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

General

Imprint: Createspace Independent Publishing Platform
Country of origin: United States
Release date: 2012
First published: 2012
Authors: R.L. Constable
Dimensions: 229 x 152 x 17mm (L x W x T)
Format: Paperback - Trade
Pages: 310
ISBN-13: 978-1-4680-5910-6
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 1-4680-5910-6
Barcode: 9781468059106

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners