Publisher
Springer International Publishing
Reference13 articles.
1. Applied Logic Series;A Avron,2003
2. Lecture Notes in Computer Science;A Avron,2004
3. Lecture Notes in Computer Science;A Avron,2008
4. Avron, A.: A new approach to predicative set theory. In: Schindler, R. (ed.) Ways of Proof Theory. Onto Series in Mathematical Logic, pp. 31–63. onto Verlag (2010)
5. Avron, A., Cohen, L.: Formalizing scientifically applicable mathematics in a definitional framework. J. Formalized Reasoning 9(1), 53–70 (2016)