Implementing Mathematics with theNuPrl Proof Development System (1986)

by R L CONSTABLE, ET AL
Venue:February-March 1988), 95120.[6] D ANTZIG, G., AND