Summary: logic texts for computer scientists

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...