Janos Simon (simon-ja)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Simon, Janos. 1977. “Polynomially Bounded Quantification over Higher Types and New Hierarchy of the Elementary Sets.” in Non-Classical Logics, Model Theory and Computability, Proceedings of the 3rd Latin-American Symposium on Mathematical Logic, edited by Ayda I. Arruda, Newton C. A. Da Costa, and Rolando B. Chuaqui, pp. 267–281. Studies in Logic and the Foundations of Mathematics n. 89. Amsterdam: North-Holland Publishing Co.