1. Arruda, A. I., 1980, ?A survey of paraconsistent logic?, in A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.),Mathematical Logic in Latin America, North-Holland, 1 ? 41.
2. Arruda, A. I., 1989, ?Aspects of the historical development of paraconsistent logic?, in G. Priest, R. Routley and J. Norman (eds.),Paraconsistent Logic, Philosophia Verlag, 99 ? 130.
3. Church, A., 1956,Introduction to Mathematical Logic, Princeton University Press.
4. da Costa, N. C. A., 1975, ?Remarks on Ja?kowski's discussive logic?,Rep. Math. Logic 4, 7?16.
5. da Costa, N. C. A., 1989a, ?Logic and pragmatic truth?, in J. E. Fenstad et al. (eds.),Logic, Methodology and Philosophy of Science VIII, Elsevier, 247 ? 261.