re Logic for Computer Science

• To: types@cis.upenn.edu
• Subject: re Logic for Computer Science
• From: Jean Gallier <jean@saul.cis.upenn.edu>
• Date: Wed, 18 Jun 2003 17:06:40 EDT

Dear all:

My old logic book (Logic for Computer Science, 1985)
has been out of print for at least twelve years.

I just resurected the TEX files and even improved
the drawings. This updated version, with all known typos
and mistakes fixed, is available  on-line (free!) at

http://www.cis.upenn.edu/~jean/gbooks/logic.html

Have fun!

    - Jean Gallier

• Prev: Post-doctoral positions in formal methods for security at INRIA
• Next: WLPE'03 - CALL FOR PAPERS
• Index(es):
  • Main
  • Thread