Theory Of Effective Propositional Paraconsistent Logics

By Anna Zamansky, Arnon Avron, Ofer Arieli

Pillars Of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot On The Occasion Of His 85th Birthday

By B A. Trakhtenbrot, Arnon Avron, Avron, Alexander [Editor], Arnon [Editor]; Dershowitz, Nachum [Editor]; Rabinovich

From Logic To Theorectical Computer Science, An Update -- Reminiscences -- Boris A. Trakhtenbrot: Academic Genealogy And Publications -- Symmetric Logic Of Proofs -- Synthesis Of Monitors For Real-...

Philosophical Logic

By Martin Tabakov, Andrei Khrennikov, Arnon Avron, Andrew Schumann, Alexander S. Karpenko, Alexander Lyaletski, Vladimir A. Moshchenskii, Vitaly I. Levin, Arkady D. Zakrevskij

Mishpeṭe Gedel U-Veʻayat Ha-Yesodot Shel Ha-Matemaṭiḳah

By Arnon Avron, אברון, ארנון.

Pillars Of Computer Science

By B. A. Trachtenbrot, Alexander Rabinovich, Arnon Avron, Nachum Dershowitz

For Over Half A Century, Boris (boaz) Trakhtenbrot Has Made Seminal Contributions To Virtually All Of The Central Areas Of Theoretical Computer Science. This Festschrift Volume Readily Illustrates...