Arnon Avron is an Israeli mathematician and logician known for his work in mathematical logic, particularly in the areas of proof theory and the foundations of mathematics. He has contributed to various topics, including constructive mathematics, type theories, and formal systems. Avron has also published numerous research papers and has been involved in academic activities related to logic and proof systems.
Articles by others on the same topic
There are currently no matching articles.