![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Coq proof assistant manuals & automated Gödel proof/ | 2016-09-26 10:34 | - | |
![]() | Logic Course Material/ | 2016-09-23 20:03 | - | |
![]() | OckhamInsolubilia.pdf | 2016-03-09 17:28 | 105K | |
![]() | wesel.pdf | 2016-03-09 17:28 | 222K | |
![]() | Syllogism and Quantification (Smiley).pdf | 2016-05-19 09:49 | 703K | |