TY - JOUR AU - Mikenberg Irene AU - Da Costa Newton C. A. AU - Chuaqui Rolando IS - 1 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1986 TI - Pragmatic Truth and Approximation to Truth VL - 51 ER -