[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)
-
In-Reply-To: <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 lambda-calculi. Theoretical Computer Science, 110(2):
249-239 (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