TY - BOOK AU - Mendelson,Elliott TI - Introduction to mathematical logic SN - 9781584888765 U1 - 511.3 M522I5 PY - 2010/// CY - Boca Raton PB - Taylor and Francis KW - Mathematics KW - Propositional calculus KW - Number theory ER -