TY - BOOK AU - Johnson, D. L. TI - Elements of logic via numbers and sets SN - 3540761233 U1 - 511.3 PY - 1998/// CY - London PB - Springer ER -