preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

preplogic-slides.toc (240B)

      1 \beamer@sectionintoc {1}{Statements}{3}{0}{1}
      2 \beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
      3 \beamer@sectionintoc {3}{Implication}{28}{0}{3}
      4 \beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
      5 \beamer@sectionintoc {5}{Proofs}{47}{0}{5}