preplogic

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

ModeNameSize
-rw-r--r--.gitignore4L
-rw-r--r--README.md12L
-rw-r--r--exercises/preplogic-exercises.aux5L
-rw-r--r--exercises/preplogic-exercises.fdb_latexmk70L
-rw-r--r--exercises/preplogic-exercises.fls97L
-rw-r--r--exercises/preplogic-exercises.log240L
-rw-r--r--exercises/preplogic-exercises.pdf141765B
-rw-r--r--exercises/preplogic-exercises.tex159L
-rw-r--r--preplogic-exercises.pdf141765B
-rw-r--r--preplogic-notes.pdf339620B
-rw-r--r--preplogic-slides.pdf367456B
-rw-r--r--preplogic-solutions.pdf167760B
-rw-r--r--slides/preplogic-slides.aux101L
-rw-r--r--slides/preplogic-slides.fdb_latexmk217L
-rw-r--r--slides/preplogic-slides.fls504L
-rw-r--r--slides/preplogic-slides.log1446L
-rw-r--r--slides/preplogic-slides.nav78L
-rw-r--r--slides/preplogic-slides.out5L
-rw-r--r--slides/preplogic-slides.pdf367456B
-rw-r--r--slides/preplogic-slides.snm0B
-rw-r--r--slides/preplogic-slides.tex547L
-rw-r--r--slides/preplogic-slides.toc5L
-rw-r--r--slides/unilu.jpg41957B
-rw-r--r--solutions/preplogic-solutions.aux5L
-rw-r--r--solutions/preplogic-solutions.fdb_latexmk79L
-rw-r--r--solutions/preplogic-solutions.fls111L
-rw-r--r--solutions/preplogic-solutions.log242L
-rw-r--r--solutions/preplogic-solutions.pdf167760B
-rw-r--r--solutions/preplogic-solutions.tex306L