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