TY - BOOK AU - Arruda A I Ed. AU - Chuaqui R Ed. AU - DaCosta N C A Ed. ED - International conference on mathematical logic in Latin America TI - Proceeding on mathematical logic in Latin America T2 - Studies in logic and the foundation of mathematics; 99 U1 - B:(R1)p79.N78, M0 PY - 1980/// CY - Amsterdam PB - North Holland KW - Mathematical logic KW - Mathematics ER -