0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R250 - R500 (1)
  • R500 - R1,000 (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,924 R603 Discovery Miles 6 030 Save R1,321 (69%) Ships in 12 - 17 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
R402 Discovery Miles 4 020 Out of stock

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...
Alcolin Cold Glue (125ml)
R46 Discovery Miles 460
Mellerware Non-Stick Vapour ll Steam…
R348 Discovery Miles 3 480
Philips TAUE101 Wired In-Ear Headphones…
R199 R129 Discovery Miles 1 290
Bantex @School Painting Brushes…
R39 Discovery Miles 390
Snappy Tritan Bottle (1.5L)(Blue)
R229 R179 Discovery Miles 1 790
Microsoft Xbox Series X Console (1TB…
R16,499 Discovery Miles 164 990
Terminator 6: Dark Fate
Linda Hamilton, Arnold Schwarzenegger Blu-ray disc  (1)
R79 Discovery Miles 790
Crash And Burn - A CEO's Crazy…
Glenn Orsmond Paperback R310 R209 Discovery Miles 2 090
Domino Number Puzzle
R99 R92 Discovery Miles 920
Claris: A Tres Chic Activity Book…
Megan Hess Paperback R135 R50 Discovery Miles 500

 

Partners