PAPERS

 

Papers before 2000 are available here.

Papers after 2000 

Formalizing Set Theory in weak fragments of AL (updated in 2011)

What is Logic