[FOM] A textbook on logic with natural deduction

[George McNulty]

Here is a possibility:

        Beginning Logic
        E.J. Lemmon

        Chapman & Hall/ CRC
        ISBN 0-412-38090-0

        This book, published in 1965, has been reissued by
CRC press in paperback.

        Lemmon died at the age of 36 the year after this book was
published.  It was my good fortune to take my first logic course from 
him just as this book was in press.  He has laid out an elegant system
of natural deduction, beginning with propositional logic and moving on
to first-order logic.

        The book is written in the tradition of the philosophic side of 
FOM.  This means that it is written to be seriously studied. It is 225
pages long and more heavy going than many undergraduates would like.
Nevertheless, it has much to recommend it.  At least, it would be a good
resource.

        It is priced around $80.  This is outrageous, of course.

George McNulty

Andrej Bauer wrote:
> Dear FOMers,
> 
> I am teaching a freshman course in logic and set theory. The formalism
> is kept very low, indeed, I never really explain the difference
> between syntax and semantics, I am just trying to teach the students
> what a (real-life) proof is. However, we did learn natural-deduction
> style proofs as trees. There are several foreign students who asked me
> for an English textbook on the topic. They seem very happy with "Naive
> set theory" by Halmos, but I couldn't really find an _introductory_
> textbook that would cover logic in natural deduction style. Can
> someone recomment a good textbook or available lecture notes that are
> written in natural-deduction style (trees, not proof boxes, I know I
> should have used boxes... but it is too late for this year)? This is
> for a freshman course.
> 
> Thank you,
> 
> Andrej Bauer
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom