Index of /2011/hdl_2072_169266/

Atserias, Albert
Partially definable forcing and bounded arithmetic
2011
http://ddd.uab.cat/record/76068
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]1=Atserias,_Albert2012-03-22 10:27 17  
[   ]2=Partially_definable_forcing_and_bounded...2012-03-22 10:27 51  
[   ]3=20112012-03-22 10:27 5  
[   ]4=760682012-03-22 10:27 32  
[IMG]Pr1007.gif2011-09-03 03:32 105K 
[IMG]Pr1007.ico2011-09-03 03:32 28K 
[TXT]Pr1007.info2011-09-03 03:32 10K 
[   ]Pr1007.pdf2011-09-03 03:32 313K 
[TXT]Pr1007.txt2011-09-03 03:32 105K 
[TXT]hdl_2072_169266.dirinfo2021-12-23 02:31 353  
[   ]hdl_2072_169266.du2021-12-23 02:31 27  
[TXT]hdl_2072_169266.dupdirs2021-12-23 02:31 0  
[TXT]hdl_2072_169266.dupfiles2021-12-23 02:31 0  
[TXT]hdl_2072_169266.errors2021-12-23 02:31 0  
[TXT]hdl_2072_169266.md52021-12-23 02:31 45  
[   ]hdl_2072_169266.par22021-12-23 02:31 40K 
[TXT]hdl_2072_169266.sha12021-12-23 02:31 53  
[TXT]hdl_2072_169266.sha2562021-12-23 02:31 77  
[TXT]hdl_2072_169266.stats2021-12-23 02:31 244  
[   ]hdl_2072_169266.vol000+100.par22021-12-23 02:31 298K