TY - BOOK AU - Thomas, Norman L. TI - Modern logic an introdution PY - 1967/// CY - New York PB - Barnes & Noble KW - Logic ER -