TY - BOOK AU - Cunningham,Daniel W. TI - Mathematical logic: : an introduction T2 - De Gruyter Textbook SN - 9783110782011 U1 - 511.3 PY - 2023/// CY - Berlin PB - De Gruyter ER -