Index of /~richter/math5165

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 5165notes.pdf               09-Sep-2001 10:07  211K  
 5165syllabus2011.aux        20-Oct-2011 18:08  398   
 5165syllabus2011.log        20-Oct-2011 18:08  8.0K  
 5165syllabus2011.pdf        18-Nov-2011 10:41  133K  
 5165syllabus2011.synctex.gz 20-Oct-2011 18:08   13K  GZIP compressed docume>
 5165syllabus2011.tex        20-Oct-2011 18:08  7.0K  
 5165syllabus2011.tex.backup 20-Oct-2011 18:08  7.2K  
 Homework/                   18-Dec-2011 23:58    -   
 Notes/                      30-Sep-2005 22:12    -   
 Nov11.pdf                   12-Nov-2011 18:51   86K  
 Oldexams/                   02-Oct-2005 15:18    -   
 SlideShow/                  12-Dec-2011 17:46    -   
 Slideshow                   28-Nov-2011 17:58  291K  
 Turing.exe                  28-Aug-2000 12:35  1.3M  
 completenesstheorem.pdf     20-Nov-2008 21:43  129K  
 first-order.aux             29-Sep-2007 12:15  883   
 first-order.dvi             29-Sep-2007 12:15   47K  
 first-order.log             29-Sep-2007 12:15  7.5K  
 first-order.pdf             29-Sep-2007 12:15  167K  
 first-order.tex             29-Sep-2007 12:15   54K  
 homework.aux                13-Dec-2010 13:16  588   
 homework.dvi                13-Dec-2010 13:16  7.6K  
 homework.log                13-Dec-2010 13:16   10K  
 homework.out                13-Dec-2010 13:16    0   
 homework.pdf                19-Dec-2011 00:00   45K  
 homework.ps                 13-Dec-2010 13:03   51K  
 homework.tex                13-Dec-2010 13:19  1.5K  
 math5165exams/              16-Dec-2010 22:53    -   
 notes-latex.aux             28-Nov-2006 00:53  1.5K  
 notes-latex.dvi             28-Nov-2006 00:53   60K  
 notes-latex.log             28-Nov-2006 00:53  7.4K  
 notes-latex.pdf             28-Nov-2006 00:53  205K  
 notes-latex.tex             28-Nov-2006 00:53   65K  
 preamble                    22-Sep-2006 14:15  2.1K  
 preamble.aux                12-Sep-2008 14:15  478   
 preamble.tex                24-Sep-2006 21:44  2.2K  
 sent-logicF08.aux           13-Sep-2008 15:45  733   
 sent-logicF08.log           13-Sep-2008 15:45  9.5K  
 sent-logicF08.pdf           13-Sep-2008 15:45  118K  
 sent-logicF08.tex           13-Sep-2008 15:45   72K  
 sententiallogic.pdf         25-Sep-2007 23:27  106K  
 tempTuring/                 28-Aug-2000 11:55    -   
 waynemacros.tex             24-Sep-2006 21:38  1.6K