| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 45 | logplain |
| -rw-r--r-- | README.md | 338 | logplain |
| d--------- | exercises | 372 | logplain |
| -rw-r--r-- | preplogic-exercises.pdf | 146771 | logplain |
| -rw-r--r-- | preplogic-slides.pdf | 364862 | logplain |
| d--------- | slides | 580 | logplain |
 |
index : preplogic | |
| Notes for the course "elementary logic" |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net