[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Q.E.D. is a step representing what needs to be proved:
PROOF SKETCH: <english style proof scetch>
ASSUME: <label>. <predicate> ...
NumberedList( <number>. <step|predicate> )
Choose .... such that....
CASE: statement of assumptionis short for
ASSUME: Statemnt of assumption
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]