[FOM] A textbook on logic with natural deduction

[David Auerbach]

www.cs.bath.ac.uk/~cf/cm30071/nd.pdf



David Auerbach                                                      auerbach at unity.ncsu.edu
Department of Philosophy and Religious Studies
NCSU
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