Meeting of the Association for Symbolic Logic, Bogotá, Colombia, 1981
Arruda, Ayda I., Caicedo, Xavier, Chuaqui, Rolando, da Costa, Newton C.A.Volume:
48
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2273493
Date:
September, 1983
File:
PDF, 735 KB
english, 1983