[FOM] A textbook on logic with natural deduction
andrej.bauer at andrej.com
Thu Dec 3 08:48:59 EST 2009
I would like to thank everyone who send me suggestions. They were very helpful.
In the end I decided to suggest the book "Logic and Structure" by Dirk
van Dalen to the foreign student. It covers much more than what is
needed, but is very close in style and presentation to my Slovenian
lecture notes. Most importantly, our library has got the book.
I thank again to all with their suggestions. I looked at all of them
(thank you Google Books).
With kind regards,
More information about the FOM