Implementing Mathematics With the Nuprl Proof Development System
Free Shipping within the US
Est. Date: Nov 13, 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: Nov 13, 2025
