[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Lamport95

  1. Leslie Lamport<lamport@src.dec.com>
  2. How to Write a Proof
  3. American Math Monthly V102n7(Aug-Sep 1995)pp600-608
  4. =DEMO PROOFS FORMAL LOGIC
      Hierarchically structured proofs in outline style see Abadi & Lamports work.

      Q.E.D. is a step representing what needs to be proved:

       Theorem <statement>
       PROOF SKETCH: <english style proof scetch>
       ASSUME: <label>. <predicate> ...
       PROVE: <predicate>
       NumberedList( <number>. <step|predicate> )
         <number>. Q.E.D.

       LET: <definitions>
       Choose .... such that....

       CASE: statement of assumption
      is short for
       ASSUME: Statemnt of assumption
       PROVE: Q.E.D.

  5. Also see online reports [Lamport94c]


Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]