CURRENTLY LOW PRIORITY

general

• ☐ wiki's outline of logic
• ▨ a logic and proof course syllabus
• ☐ teach yourself logic: study guide - p. smith

books

• ☐ logiske metoder - r. antonsen (inf1080)
• ☐ a modern formal logic primer - p. teller
• ☐ book of proof - r. hammack