Index of /~martinj/Symbolic_Logic/341 Examples/Fitch Proofs/First-Order Logic

 NameLast modifiedSizeDescription
 Parent Directory  -  
 Q11.prf2000-11-05 20:34 807  
 Q10.prf2000-11-05 20:15 706  
 Q09-Barbari.prf2000-11-05 20:08 1.2K 
 Q08-Celaront.prf2000-11-05 20:02 1.5K 
 Q07-Darii.prf2000-11-05 20:47 1.4K 
 Q06-Ferio.prf2000-11-05 19:40 1.4K 
 Q05-Celarent.prf2000-11-05 19:31 1.4K 
 Q04.prf2000-11-05 19:23 887  
 Q03.prf2000-11-05 19:18 1.1K 
 Q02.prf2000-11-05 19:11 827  
 Q01.prf2000-11-05 19:05 823