Arnon Avron

• Pillars of computer science
• Theory of Effective Propositional Paraconsistent Logics
• Gentzenizing Schroeder - Heister's natural extension of natural deduction
• Mishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳah