Implementing mathematics with the Nuprl proof developmentsystem
By: R.L. Constable ... (et al.).
Contributors: Constable, Robert L.
Publisher: Prentice-Hall; Prentice Hall
Published: 1986
Place of publication: Englewood Cliffs, N.J; London
Language: eng
Number of pages: 299
Subjects: Proof theory.
Notes: Bibliography, p264-291. - Includes index.