It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
July 30, 2019
Edit
History of edits to

Implementing mathematics with the Nuprl proof development system

Revision When Who Comment Diff
4 July 30, 2019
MARC Bot
 associate edition with work OL19184133W    
3 July 31, 2010
IdentifierBot
 added LibraryThing ID    
2 April 16, 2010
bgimpertBot
 Added goodreads ID.    
1 April 1, 2008 Imported from Scriblio MARC record