Index of /~toni/Courses/Logic2022/Notes

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Computability.aux2022-08-07 15:34 61  
[ ]Computability.log2022-08-07 15:34 8.0K 
[ ]Computability.pdf2022-08-07 15:34 167K 
[TXT]Computability.tex2022-08-07 15:34 34K 
[ ]FOresolution.pdf2022-10-11 21:43 216K 
[ ]Incompleteness.aux2022-08-07 15:33 458  
[ ]Incompleteness.log2022-08-07 15:33 7.9K 
[ ]Incompleteness.pdf2022-08-07 15:33 224K 
[TXT]Incompleteness.tex2022-08-07 15:32 64K 
[ ]Incompleteness0.pdf2022-08-07 15:27 11M 
[ ]Incompleteness1.pdf2022-08-07 15:27 39M 
[ ]Incompleteness2.aux2022-08-07 15:33 192  
[ ]Incompleteness2.log2022-08-07 15:33 6.7K 
[ ]Incompleteness2.pdf2022-08-07 15:33 104K 
[TXT]Incompleteness2.tex2022-08-07 15:32 10K 
[ ]TM.pdf2022-09-07 21:40 162K 
[ ]page1.aux2022-08-07 15:32 375  
[ ]page1.log2022-08-07 15:32 8.3K 
[ ]page1.pdf2022-08-07 15:32 189K 
[TXT]page1.tex2022-08-07 15:31 47K 
[ ]page18.aux2022-08-07 15:32 89  
[ ]page18.log2022-08-07 15:32 7.7K 
[ ]page18.pdf2022-08-07 15:32 159K 
[TXT]page18.tex2022-08-07 15:31 33K 
[ ]page31.aux2022-08-07 15:32 378  
[ ]page31.log2022-08-07 15:32 7.0K 
[ ]page31.pdf2022-08-07 15:32 139K 
[TXT]page31.tex2022-08-07 15:31 24K 
[ ]page39.aux2022-08-07 15:33 217  
[ ]page39.log2022-08-07 15:33 6.0K 
[ ]page39.pdf2022-08-07 15:33 186K 
[TXT]page39.tex2022-08-07 15:31 41K 
[ ]page54.aux2022-08-07 15:33 61  
[ ]page54.log2022-08-07 15:33 7.9K 
[ ]page54.pdf2022-08-07 15:33 162K 
[TXT]page54.tex2022-08-07 15:32 32K 
[TXT]page66.tex2022-08-07 15:29 63K 
[TXT]prooftree.tex2022-08-07 15:29 12K 
[ ]res.pdf2022-09-07 21:40 104K 
[ ]resolution.pdf2022-10-11 21:43 179K