et al.: 1986, Implementing Mathematics with the NuPrl Proof Development System. Englewood Cliffs (0)

by R L Constable