TY - BOOK AU - Fisk Milton TI - Modern formal logic U1 - 164 PY - 1964/// CY - New Delhi PB - Prientice-Hall KW - Mathematical Logic KW - Symbolic ER -