Implementing Mathematics with the Nuprl Proof Development System

Name: Implementing Mathematics with the Nuprl Proof Development System
Author: R L Constable

by R L Constable · 1 review · 1990

Reviewed by	Journal	Date	Access
Michael J Beeson	The Journal of Symbolic Logic	1990-09-01	Restricted

Also by Constable