TY - BOOK AU - Mendelson, Elliott AU - TI - Introduction to mathematical logic U1 - 511.3 MEN-I5 PY - 2010/// CY - Taylor & Francis Group LLC KW - Mathematical logic-- Mathematics ER -