The Nuprl open logical environment (0)

by Stuart Allen, Robert Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
Venue:Proceedings of the 17 th International Conference on Automated Deduction, volume 1831 of Lecture Notes in Artificial Intelligence