Index of /~lehmann/nonmon/

 Parent Directory         02-Jun-2004 10:03      -
 AGM_JSL.pdf              20-May-2003 16:48   2.1M
 AGM_JSL.ps               01-Mar-2004 10:26   2.6M
 AGM_postulates.ps        01-Mar-2004 11:36    43k
 Bibliography             01-Mar-2004 09:24     9k
 Birkhoff_vonNeumann.pdf  24-May-2004 11:52   1.9M
 C-logics.ps              19-Apr-2004 11:46   145k
 KLM.ps                   05-Oct-1999 10:02   306k
 LogSem.ps                14-Jun-2004 11:18   341k
 Ways_of_Doing_Logic.doc  01-Mar-2004 09:21    64k
 Ways_of_Doing_Logic.pdf  01-Mar-2004 09:20   376k
 ex1.ps                   01-Mar-2004 11:10    35k
 ex2.ps                   10-Mar-2004 10:08    40k
 ex3.ps                   17-Mar-2004 10:36    53k
 ex4.ps                   24-Mar-2004 10:10    29k
 ex5.ps                   31-Mar-2004 10:41    49k
 ex5_sol.ps               28-Apr-2004 13:39    72k
 ex6.ps                   28-Apr-2004 10:18    53k
 ex7.ps                   05-May-2004 10:22    44k
 ex8.ps                   12-May-2004 10:26    52k
 ex9.pdf                  02-Jun-2004 10:15    55k
 ex9.ps                   02-Jun-2004 10:04    45k
 exam.ps                  19-Jun-2004 23:18    42k
 texput.log               24-Mar-2004 10:10     1k