Implementing mathematics with the Nuprl proof development system
By: R.L. Constable ... [et al.] (Computer Science Department, Cornell University).
Contributors: Constable, R. L.; Cornell University. Dept. of Computer Science.
Publisher: Prentice-Hall
Published: 1986
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 299
Subjects: Automatic theorem proving.; Nuprl (Computer system); Mathematics -- Data processing.
Notes: Bibliography: p. 264-291.
Includes index.