Index of /~cp/op/fullpaper/Herbrand

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 55.pdf.gz                             27-Feb-2007 20:15  168K  
 ASENS_1932_3_49__105_0.pdf.gz         20-Jun-2007 10:38  1.1M  
 Abeles.ps.gz                          12-Jun-2007 18:36  793K  
 Ackermann1928.ps.gz                   21-May-2007 18:42  786K  
 Anellis_Brady.ps.gz                   01-Oct-2007 20:23  323K  
 Anellis_Brief.doc.gz                  08-Oct-2007 18:49  2.8K  
 Anellis_Brief.html                    08-Oct-2007 18:54  2.8K  
 Anellis_Brief.html.gz                 08-Oct-2007 18:54  1.5K  
 Anellis_Heijenoort_on_Herbrand.pdf.gz 18-Feb-2007 14:09  125K  
 Anellis_Heijenoort_on_Herbrand.rtf.gz 16-Feb-2007 18:09   11K  
 Anellis_New.html                      07-Oct-2007 09:12  1.9K  
 Anellis_New.html.gz                   07-Oct-2007 09:12  1.0K  
 Anellis_SkolemFunctions.pdf.gz        07-Oct-2007 09:03  9.7K  
 Anellis_SkolemFunctions.ps.gz         07-Oct-2007 09:10   29K  
 Behmann1922.ps.gz                     12-Jul-2007 14:44  4.9M  
 Bernays-Skolem.pdf.gz                 01-Jun-2007 13:08  332K  
 Bernays-Skolem.ps.gz                  01-Jun-2007 13:14  325K  
 Bernays1957.pdf.gz                    30-May-2007 01:44  138K  
 BernaysSchoenfinkel.ps.gz             12-Jul-2007 16:52  2.3M  
 BussHerbrand.pdf.gz                   04-Jul-2007 21:01  123K  
 BussHerbrand.ps.gz                    19-May-2007 19:36  218K  
 BussProofTheory.pdf.gz                12-Dec-2006 18:19  550K  
 BussProofTheory.ps.gz                 12-Dec-2006 18:14  407K  
 CSHM_1982__3__69_0.pdf.gz             02-Jul-2007 15:22  1.7M  
 CSHM_1983__4__61_0.ps.gz              05-Jul-2007 22:23  2.2M  
 Dawson/                               16-Jun-2007 12:47    -   
 Degre.pdf.gz                          04-Jul-2007 10:26  931K  
 DrebenDentonHerbrandStyle.ps.gz       30-May-2007 00:54  2.0M  
 DrebenDentonSupplementHerbrand.ps.gz  02-May-2007 14:16  725K  
 DrebenundDenton.pdf.gz                30-May-2007 01:43  2.0M  
 HeijenortBib.doc.gz                   14-Apr-2007 19:00  8.5K  
 HerbrandCorpsI.NoetherBrief.eps.gz    06-Jul-2007 11:17  2.0M  
 JvHproofofHerbrandsTheorem.rtf.gz     23-Apr-2007 14:29  2.6K  
 NoetherAnHasseComplete.websource.gz   15-Jun-2007 17:31  115   
 RoquetteArtinsL.websource             06-Jul-2007 14:39   54   
 RoquetteArtinsL.websource.gz          06-Jul-2007 14:39  100   
 Scanlan.pdf.gz                        09-Oct-2007 17:45  358K  
 WeylAndBernaysOnHilbert.ps.gz         14-Feb-2007 21:54  692K  
 anellis.pdf.gz                        04-Feb-2007 11:46  305K  
 emailbyanellis.html.gz                12-Feb-2007 21:18  2.2K  
 foo.pdf.gz                            01-Jun-2007 00:28  193K  
 jdub_herbrand.pdf.gz                  02-Jul-2007 17:52  164K  
 presburger.pdf.gz                     09-Feb-2007 10:59  131K  
 presburgerwithphoto.ps.gz             09-Feb-2007 10:56  1.0M  
 q.log.gz                              24-Jul-2007 21:39  645