| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| CLlevel1.pdf | 2014-10-07 14:05 | 92K | ||
| Single_Uni_CL.pdf | 2013-10-15 17:45 | 63K | ||
| Tarski44.pdf | 2022-01-21 17:47 | 1.0M | ||
| abcde.gif | 2001-07-06 15:02 | 5.1K | ||
| abedc.gif | 2001-07-06 15:02 | 5.4K | ||
| ace.htm | 2004-12-08 14:40 | 20K | ||
| alonzo.htm | 2017-06-10 09:47 | 7.4K | ||
| bintree.gif | 2001-07-06 15:03 | 9.4K | ||
| clce.htm | 2004-02-16 00:15 | 237 | ||
| clce.txt | 2004-02-13 21:40 | 10K | ||
| clrep.htm | 2003-10-27 08:30 | 100K | ||
| elephant.pdf | 2007-01-03 07:40 | 216K | ||
| erdmann.gif | 2001-07-06 15:00 | 16K | ||
| erdmann2.gif | 2001-07-06 15:00 | 19K | ||
| es99.pdf | 2008-09-06 13:15 | 6.7M | ||
| flipp.htm | 2007-04-08 09:53 | 6.2K | ||
| lattice.gif | 2001-07-06 15:00 | 4.3K | ||
| math.htm | 2017-08-06 13:22 | 136K | ||
| meaning.htm | 2005-05-30 07:16 | 214 | ||
| ockham.htm | 2014-08-24 01:42 | 7.2K | ||
| prolog.htm | 2001-11-07 09:13 | 775 | ||
| prolog1.htm | 2001-11-07 09:13 | 47K | ||
| prolog2.htm | 2001-11-07 09:13 | 95K | ||
| prolog3.htm | 2001-11-07 09:14 | 51K | ||
| prolog4.htm | 2001-11-07 09:14 | 28K | ||
| prolog5.htm | 2001-11-07 09:14 | 32K | ||
| proposit.htm | 2019-02-07 17:09 | 20K | ||
| proposit.pdf | 2019-02-07 17:09 | 102K | ||
| sorts.pdf | 2014-03-25 12:46 | 96K | ||
| tarski.htm | 2003-10-17 10:49 | 113K | ||
| theories.htm | 2005-12-13 21:43 | 43K | ||
| theories.pdf | 2005-12-13 21:48 | 322K | ||
