Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco. Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic, 49(4):1430-1440, 1984.
No references recorded for this publication.
No citations of this publication recorded.