[FOM] A textbook on logic with natural deduction

[Jean Gallier]

Chapter 1 of my manuscript is meant to be friendly to undergraduates

http://www.cis.upenn.edu/~jean/gbooks/discmath.html

and of course, van Dalen's book.

Best,
-- Jean Gallier





On Dec 2, 2009, at 1:55 PM, David Auerbach wrote:

> 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
> 
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom