Constable et al., Implementing Mathematics with the NuPRL (1986)

by R L
Venue:Proof Development System, Prentice-Hall, Englewood Cliffs NJ