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

Not currently available

Implementing Mathematics with The Nuprl Proof Development System (Paperback) Loot Price: R402
Discovery Miles 4 020
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 R402 Discovery Miles 4 020

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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
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