LogicSupplement
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Supplemental material on logical and type-theoretic basics. See creation_script.lisp (sfa)
Mon Aug 2 11:08:18 EDT 2004; WebProjector version=15; NuprlDPSE version=171 (patch 1)
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
LogicSupplement
Doc