Implementing mathematics with the Nuprl proof development system (1986)

by PRL Staff