TY - BOOK AU - Lal R N TI - Mathematical logic U1 - B:(R1), K5 PY - 1965/// CY - Patna PB - Motilal Banarsidass KW - MATHEMATICS ER -