A
Arnon Avron
4 works on record
Works

Pillars of computer science

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