Index of /~urzy/tlca/Gentzen93

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]gentzen93.pdf 2013-06-21 14:11 1.3M 
[IMG]page1.jpg 2007-01-26 18:43 99K 
[IMG]page1.tif 2007-01-09 10:02 830K 
[IMG]page2.jpg 2007-01-26 18:46 145K 
[IMG]page2.tif 2007-01-09 10:02 817K 
[IMG]page3.jpg 2007-01-26 18:47 32K 
[IMG]page3.tif 2007-01-09 10:02 746K 

Apache/2.4.6 (Unix) OpenSSL/1.0.1g mod_python/3.4.1 Python/2.7.5 SVN/1.8.4 mod_jk/1.2.37 mod_watch/4.3 mod_perl/2.0.8-dev Perl/v5.18.1 Server at duch.mimuw.edu.pl Port 80