TY - BOOK AU - Prestel, Alexander TI - Mathematical Logic and Model Theory SN - 9781447174653 U1 - 511.3 PB - Springer Nature KW - Maths ER -