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

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R250 - R500 (1)
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

An Introduction to the PL/CV2 Programming Logic (Paperback, 1982 ed.): R.L. Constable, SD Johnson, C. D Eichenlaub An Introduction to the PL/CV2 Programming Logic (Paperback, 1982 ed.)
R.L. Constable, SD Johnson, C. D Eichenlaub
R1,621 Discovery Miles 16 210
Add to cart
Ships in 10 - 15 working days
Implementing Mathematics with The Nuprl Proof Development System (Paperback): R.L. Constable Implementing Mathematics with The Nuprl Proof Development System (Paperback)
R.L. Constable
R416 Discovery Miles 4 160
Add to cart
Ships in 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

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Travels with a Donkey in the Cevennes (Hardcover): Robert Louis Stevenson
Travels with a Donkey in the Cevennes
Robert Louis Stevenson Hardcover R712 Discovery Miles 7 120
Lakeland Mountain Challenges - A Guide for Walkers and Fellrunners (Paperback): Ronald Turnbull, Roy Edward Clayton
Lakeland Mountain Challenges - A Guide…
Ronald Turnbull, Roy Edward Clayton Paperback R293 Discovery Miles 2 930
Cotswold Way - National Trail Guide (Paperback, Re-issue): Anthony Burton
Cotswold Way - National Trail Guide
Anthony Burton Paperback R450 R371 Discovery Miles 3 710
Batsford's Walking Guides: South Downs (Paperback): Jilly Macleod
Batsford's Walking Guides: South Downs
Jilly Macleod Paperback  (1)
 R122 Discovery Miles 1 220
Hiking Beyond Cape Town - 40 Inspiring Hikes Outside The City (Paperback): Nina du Plessis, Willie Olivier
Hiking Beyond Cape Town - 40 Inspiring…
Nina du Plessis, Willie Olivier Paperback R340 R314 Discovery Miles 3 140
The Salt Path - The 85-Week Sunday Times Bestseller from the Million-Copy Bestselling Author (Paperback): Raynor Winn
The Salt Path - The 85-Week Sunday Times…
Raynor Winn Paperback  (1)
 R332 R301 Discovery Miles 3 010
The Hiker's Guide to O`ahu (Paperback, Updated & Expanded): Stuart M. Ball Jr.
The Hiker's Guide to O`ahu
Stuart M. Ball Jr. Paperback R620 R574 Discovery Miles 5 740
Coniston and Langdale - A Hill-walkers' Guide (Paperback):
Coniston and Langdale - A Hill-walkers…
Paperback R181 Discovery Miles 1 810
Circular Walks Along the Sandstone Trail (Paperback, UK ed.): Carl Rogers
Circular Walks Along the Sandstone Trail
Carl Rogers Paperback R242 Discovery Miles 2 420
Hiking The Fish - The Ultimate Guide To The Fish River Canyon Trail (Paperback): Henk Blanckenberg, Lizet Meyer
Hiking The Fish - The Ultimate Guide To…
Henk Blanckenberg, Lizet Meyer Paperback R220 R203 Discovery Miles 2 030

 
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