Implementing mathematics with the Nuprl proof development system
Author(s)
Bibliographic Information
Implementing mathematics with the Nuprl proof development system
Prentice-Hall, c1986
Available at / 13 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 264-291
Includes index