TY - BOOK AU - WILLMOTT (Agustin) TI - Introduction to mathematical logic SN - 978-1-64172-100-4 U1 - 511.3 23 PY - 2019/// CY - New York PB - Larsen &Keller KW - Mathematical Logic ER -