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

Bibliographic Item (1.0)

Gries96

  1. David Gries(mailto:gries@cs.cornell.edu)
  2. The Need for Education in Useful Formal Logic
  3. IEEE Computer Magazine V29N4(Apr 1996)pp29-30
      Logic as a tool.

      calculational proofs

      logic is a tool not a panacea



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]