TY - BOOK AU - Mellone S H TI - Elements of modern logic U1 - R1, H51-;1 PY - 1945/// ER -