logo
  • Implementing Mathematics With the Nuprl Proof Development System

Implementing Mathematics With the Nuprl Proof Development System

0.0 (0 reviews)
In stock (1 available)
SKU SHUB60086
$44.90
Free Shipping within the US
Est. Date: Dec 29, 2025

Four goals of the

  • Author(s): R. L. Constable
  • Publisher: Prentice Hall
  • Language: en
  • Pages: 304
  • Binding: Hardcover
  • Edition: y First printing
  • Published: 1986
  • Dimensions: Weight: 1.3007273458 Pounds
  • Estimated Delivery: Dec 29, 2025
Customer Reviews
0.0 (0 reviews)
Login to Write Review
No Reviews Yet

Be the first to review this book!