[Prev][Next][Index][Thread]
Summary: logic texts for computer scientists

To: bcpierce@cis.upenn.edu

Subject: Summary: logic texts for computer scientists

From: Mitchell Wand <wand@ccs.neu.edu>

Date: Fri, 30 Apr 1999 11:21:51 0400 (EDT)

InReplyTo: <199904300156.VAA14597@saul.cis.upenn.edu>

References: <199904300156.VAA14597@saul.cis.upenn.edu>
Hmm, I notice that several of your correspondents think that Jean's paper has
about 10 pages, eg:
Gallier, J. Constructive Logics. Part I: A tutorial on proof systems
and typed lambdacalculi. Theoretical Computer Science, 110(2):
249239 (1993).
I wonder what bibliography has this typo. It also goes to show how many of us
actually _read_ the bibliography information we get off the web...
Mitch