Theory of Effective Propositional Paraconsistent LogicsArnon Avron, Ofer Arieli, Anna Zamansky · First published 2018Open the Tome
Pillars of computer scienceB. A. Trakhtenbrot, Arnon Avron, Nachum Dershowitz, Alexander Rabinovich · First published 2008Open the Tome
Pillars of Computer ScienceNachum Dershowitz,Arnon Avron,Alexander Rabinovich · First published 2008Open the Tome
Mishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳahArnon Avron · First published 1998Open the Tome
Gentzenizing Schroeder - Heister's natural extension of natural deductionArnon Avron · First published 1987Open the Tome
Using typed Lambda calculus to implement formal systems on a machineArnon Avron · First published 1987Open the Tome
