000 00298nam a2200109 4500
008 160616s 000 0
245 _aImplementing mathematics with the nuprl proof development system
100 _aConstable, R.L
500 _aD6,8(B) M632
942 _cBK
_2BK6676
080 _a519.688 CON
999 _c6676
_d6676