TY - BOOK AU - Chong,T. TI - Southeast Asian Conference on Logic SN - 000 U1 - 511.3 PY - 1983/// CY - new york PB - north holland ER -