00354cam a22001217i 4500008004100000020001800041082001900059100002600078245004400104260003100148300002900179490002400208230119s2023    gw a     b    001 0 eng d  a978311078201104a511.3bC973.ML1 aCunningham, Daniel W.10aMathematical logicb: an introduction /  aBerlin:bDe Gruyter,c2023  axiii, 256p. Bibl. index.1 aDe Gruyter Textbook