The most active members of LtU for the most part already have a solid foundation in logic. For the rest of us interested in language design, but who are not already logicians here is a brief reading list on logic, focusing on natural deduction, the preferred method of expressing type systems.

More experienced members of LtU may perhaps consider contributing to the discussion with comments on the suggested reading or alternative suggestions.

*[Edit: removed A History of Natural Deduction and Elementary Logic Textbooks by Jeff Pelletier and added several new links as suggested by Charles Stewart and falcon.]*

## Recent comments

1 hour 39 min ago

2 hours 48 min ago

2 hours 49 min ago

2 hours 57 min ago

5 hours 6 min ago

13 hours 11 min ago

14 hours 19 min ago

14 hours 50 min ago

14 hours 57 min ago

15 hours 19 min ago