![[ICO]](/icons-sys/blank.png) | Name | Last modified | Size |
|
![[PARENTDIR]](/icons-sys/back.png) | Parent Directory | | - |
![[ ]](/icons-sys/unknown.png) | HerbrandPhotoI.eps.gz | 2009-02-16 19:53 | 27K |
![[ ]](/icons-sys/unknown.png) | HerbrandPhotoII.eps.gz | 2011-06-29 21:16 | 305K |
![[IMG]](/icons-sys/image.png) | HerbrandPhotoII.jpg | 2010-12-20 17:47 | 92K |
![[ ]](/icons-sys/unknown.png) | HerbrandPhotoIII.eps.gz | 2011-06-29 21:20 | 536K |
![[IMG]](/icons-sys/image.png) | HerbrandPhotoIII.jpg | 2010-12-20 23:43 | 169K |
![[ ]](/icons-sys/unknown.png) | LoewenheimSkolemHerbrand-FinalBridgearXiv.eps.gz | 2009-02-25 19:23 | 90K |
![[ ]](/icons-sys/unknown.png) | all.aux | 2014-08-14 19:38 | 50K |
![[ ]](/icons-sys/unknown.png) | all.bbl | 2011-11-20 16:19 | 76K |
![[ ]](/icons-sys/unknown.png) | all.blg | 2011-11-20 16:19 | 2.6K |
![[ ]](/icons-sys/dvi.png) | all.dvi | 2014-08-14 19:38 | 388K |
![[ ]](/icons-sys/unknown.png) | all.idx | 2014-08-14 19:38 | 88K |
![[ ]](/icons-sys/unknown.png) | all.ilg | 2014-08-14 19:38 | 820 |
![[ ]](/icons-sys/unknown.png) | all.ind | 2014-08-14 19:38 | 14K |
![[TXT]](/icons-sys/text.png) | all.log | 2014-08-14 19:38 | 12K |
![[ ]](/icons-sys/pdf.png) | all.pdf | 2014-08-14 19:38 | 3.0M |
![[ ]](/icons-sys/unknown.png) | all.ps.gz | 2014-08-14 19:38 | 3.0M |
![[ ]](/icons-sys/unknown.png) | all.save.ind | 2009-05-24 18:52 | 12K |
![[ ]](/icons-sys/unknown.png) | all.tex | 2014-04-19 18:50 | 153 |
![[ ]](/icons-sys/unknown.png) | all.tex~ | 2011-06-29 17:26 | 118 |
![[ ]](/icons-sys/unknown.png) | all.toc | 2014-08-14 19:38 | 3.1K |
![[ ]](/icons-sys/unknown.png) | body.tex | 2014-08-14 19:32 | 253K |
![[ ]](/icons-sys/unknown.png) | body.tex~ | 2014-05-27 10:06 | 251K |
![[ ]](/icons-sys/unknown.png) | fixedindex.tex | 2009-05-24 18:52 | 12K |
![[ ]](/icons-sys/unknown.png) | herbrand.eps.gz | 2009-02-16 19:53 | 27K |
![[IMG]](/icons-sys/image.png) | herbrand.jpg | 2009-02-16 19:08 | 18K |
![[ ]](/icons-sys/unknown.png) | herbrandbibliography.tex | 2014-05-27 09:40 | 15K |
![[ ]](/icons-sys/unknown.png) | herbrandbibliography.tex~ | 2014-04-19 20:13 | 15K |
![[ ]](/icons-sys/unknown.png) | macros.sty | 2011-12-29 17:46 | 3.1K |
![[ ]](/icons-sys/unknown.png) | macros.sty~ | 2011-12-14 15:23 | 3.1K |
![[ ]](/icons-sys/unknown.png) | named.bst | 2011-09-20 19:48 | 23K |
![[ ]](/icons-sys/unknown.png) | pdf.aux | 2011-12-30 20:30 | 44K |
![[ ]](/icons-sys/dvi.png) | pdf.dvi | 2011-12-30 20:30 | 365K |
![[ ]](/icons-sys/unknown.png) | pdf.idx | 2011-12-30 20:30 | 63K |
![[ ]](/icons-sys/unknown.png) | pdf.ilg | 2011-12-30 20:30 | 690 |
![[ ]](/icons-sys/unknown.png) | pdf.ind | 2011-12-30 20:30 | 12K |
![[ ]](/icons-sys/pdf.png) | pdf.pdf | 2011-12-30 20:31 | 1.6M |
![[ ]](/icons-sys/unknown.png) | pdf.tex | 2009-02-23 19:48 | 175 |
![[ ]](/icons-sys/unknown.png) | publish | 2014-04-19 21:22 | 134 |
![[ ]](/icons-sys/unknown.png) | publish~ | 2011-06-30 08:55 | 1.1K |
![[ ]](/icons-sys/unknown.png) | references.tex | 2014-08-14 19:13 | 77K |
![[ ]](/icons-sys/unknown.png) | references.tex~ | 2014-05-27 10:03 | 76K |
![[ ]](/icons-sys/unknown.png) | seki-Report-bib.bib | 2009-03-03 14:35 | 1.6K |
|