Arnon Avron · 4 obras en el catálogoObrasGGentzenizing Schroeder - Heister's natural extension of natuGentzenizing Schroeder - Heister's natural extension of natural deductionPillars of computer scienceTheory of Effective Propositional Paraconsistent LogicsMMishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳahMishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳah
GGentzenizing Schroeder - Heister's natural extension of natuGentzenizing Schroeder - Heister's natural extension of natural deduction
MMishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳahMishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳah
