[FOM] A textbook on logic with natural deduction

David Auerbach auerbach at unity.ncsu.edu
Wed Dec 2 13:55:33 EST 2009


David Auerbach                                                      auerbach at unity.ncsu.edu
Department of Philosophy and Religious Studies
Raleigh, NC 27695-8103

On Dec 2/09, at 3:01 AM, Andrej Bauer wrote:

> Dear FOMers,
>  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

More information about the FOM mailing list