| 1995 |
|---|
| 10 | | Rolando Chuaqui,
Patrick Suppes:
Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof.
J. Symb. Log. 60(1): 122-159 (1995) |
| 1991 |
|---|
| 9 | | M. Victoria Marshall,
Rolando Chuaqui:
Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.
J. Symb. Log. 56(3): 932-948 (1991) |
| 1988 |
|---|
| 8 | | Rolando Chuaqui,
Patrick Suppes:
An equational deductive system for the differential and integral calculus.
Conference on Computer Logic 1988: 25-49 |
| 1986 |
|---|
| 7 | | Irene F. Mikenberg,
Newton C. A. da Costa,
Rolando Chuaqui:
Pragmatic Truth and Approximation to Truth.
J. Symb. Log. 51(1): 201-221 (1986) |
| 1984 |
|---|
| 6 | | Xavier Caicedo,
Rolando Chuaqui,
Newton C. A. da Costa,
Carlos A. Di Prisco:
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983.
J. Symb. Log. 49(4): 1430-1440 (1984) |
| 1983 |
|---|
| 5 | | Ayda I. Arruda,
Xavier Caicedo,
Rolando Chuaqui,
Newton C. A. da Costa:
Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981.
J. Symb. Log. 48(3): 884-892 (1983) |
| 1981 |
|---|
| 4 | | Ayda I. Arruda,
Rolando Chuaqui,
Newton C. A. da Costa,
Irene F. Mikenberg:
Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.
J. Symb. Log. 46(1): 180-190 (1981) |
| 1978 |
|---|
| 3 | | Ayda I. Arruda,
Francisco Miro Quesada,
Newton C. A. da Costa,
Rolando Chuaqui:
Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.
J. Symb. Log. 43(2): 352-364 (1978) |
| 1972 |
|---|
| 2 | | Rolando Chuaqui:
Forcing for the Impredicative Theory of Classes.
J. Symb. Log. 37(1): 1-18 (1972) |
| 1971 |
|---|
| 1 | | Rolando Chuaqui:
Meeting of the Association for Symbolic Logic Santiago, Chile 1970.
J. Symb. Log. 36(3): 576-580 (1971) |
