Index of /pub/ATP_problems/set.theory/godel

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1990-03-24 10:49 2.6K 
[   ]axioms.clauses1990-03-24 10:49 9.0K 
[   ]compl.desc1990-03-24 10:49 783  
[   ]compl.ver1.clauses1990-03-24 10:49 9.2K 
[   ]compl.ver1.in1990-03-24 10:49 9.6K 
[   ]compl.ver2.clauses1990-03-24 10:49 3.0K 
[   ]compl.ver2.in1990-03-24 10:49 3.2K 
[   ]inters.desc1990-03-24 10:49 778  
[   ]inters.ver1.clauses1990-03-24 10:49 9.2K 
[   ]inters.ver1.in1990-03-24 10:49 9.6K 
[   ]inters.ver2.clauses1990-03-24 10:49 2.9K 
[   ]inters.ver2.in1990-03-24 10:49 3.3K 
[   ]subset.desc1990-03-24 10:49 828  
[   ]subset.ver1.clauses1990-03-24 10:49 9.2K 
[   ]subset.ver1.in1990-03-24 10:49 9.7K 
[   ]subset.ver2.clauses1990-03-24 10:49 3.4K 
[   ]subset.ver2.in1990-03-24 10:49 3.7K 
[   ]union.desc1990-03-24 10:49 766  
[   ]union.ver1.clauses1990-03-24 10:49 9.2K 
[   ]union.ver1.in1990-03-24 10:49 9.6K 
[   ]union.ver2.clauses1990-03-24 10:49 3.2K 
[   ]union.ver2.in1990-03-24 10:49 3.5K