preplogic

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

preplogic-exercises.aux (398B)

      1 \relax 
      2 \@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}\protected@file@percent }
      3 \@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{1}\protected@file@percent }
      4 \@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}\protected@file@percent }
      5 \@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{2}\protected@file@percent }