Giorgi Japaridze Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61

Source URL: www.csc.villanova.edu

• Non-classical logic
• Logic in computer science
• Philosophical logic
• Proof theory
• Computability logic
• Giorgi Japaridze
• Cointerpretability
• Weak interpretability
• George Boolos
• Logic
• Mathematical logic
• Mathematics