Reading Length
Home
Speed Tests
Login
Arnon Avron
Identifiers
Open Library
OL4451704A
Top Subjects
Mathematics (1)
Gödel's theorem (1)
Kurt Gödel (1)
Books by Arnon Avron
Total count: 4
Gentzenizing Schroeder - Heister's natural extension of natural deduction.
University of Edinburgh, Laboratory for Foundations of Computer Science
1987-01-01
Mishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳah
Miśrad ha-biṭaḥon
1998-01-01
Pillars of Computer Science
Essays Dedicated to Boris Trakhtenbrot on the Occasion of His 85th Birthday
Springer London, Limited
2008-01-01
Theory of Effective Propositional Paraconsistent Logics
College Publications
2018-05-21
