TY - BOOK TI - A Course on Mathematical Logic SN - 9781461457459 U1 - 511.3 PY - 2013/// CY - New York PB - Springer ER -