[FOM] A textbook on logic with natural deduction

[Andrej Bauer]

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,

Andrej