| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 33 | logplain |
| -rw-r--r-- | 18440-0.txt | 813188 | logplain |
| -rw-r--r-- | 18440-0.zip | 285216 | logplain |
| -rw-r--r-- | 18440-8.txt | 813020 | logplain |
| -rw-r--r-- | 18440-8.zip | 285134 | logplain |
| -rw-r--r-- | 18440-h.zip | 540914 | logplain |
| d--------- | 18440-h | 72 | logplain |
| -rw-r--r-- | 18440.txt | 814436 | logplain |
| -rw-r--r-- | 18440.zip | 285098 | logplain |
| -rw-r--r-- | LICENSE.txt | 539 | logplain |
| -rw-r--r-- | README.md | 122 | logplain |
 |
index : 18440.git | |
| Logic: Deductive and Inductive |
| summaryrefslogtreecommitdiff |