Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Implementing Mathematics With the Nuprl Proof Development System

Implementing Mathematics With the Nuprl Proof Development System

Paperback (23 Jan 2012)

  • $18.36
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    Four goals of the book:

    1. Offer a tutorial on mathematical ideas which underlie our research
    2. Serve as a manual for users of the Nuprl system
    3. Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area
    4. Present research which has arisen as we have worked on the Nuprl system

    Book information

    ISBN: 9781468059106
    Publisher: Createspace Independent Publishing Platform
    Imprint: Createspace Independent Publishing Platform
    Pub date:
    DEWEY: 511.3
    Language: English
    Number of pages: 310
    Weight: 417g
    Height: 229mm
    Width: 152mm
    Spine width: 17mm

    We recommend

    Add to basket

    $8.39off

    Add to basket

    $17.74off

    Add to basket

    $2.19off

    Add to basket

    $25.04off

    Confident DevOps

    Mark Peters

    Hardback
    Published 03 Jul 2024

    Save $25.04

    • RRP $72.17
    • $47.13
    Add to basket
    Add to basket

    $1.77off

    Add to basket

    $17.75off

    Add to basket

    $15.76off

    Add to basket

    $26.81off

    Add to basket