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