[FOM] A textbook on logic with natural deduction

[David Auerbach]

I was assuming that ND in a tree structure was meant. For tableaux style there's Jeffrey and also Hodges' nice little Penguin paperback.


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

On Dec 2/09, 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