TY  - DATA
AU  - Hils, Martin,
AU  - Loeser, Francois,
TI  - A first journey through logic 
T2  - The Student Mathematical Library, 
SN  - 9781470454074 (online)
PY  - 2019///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
KW  - Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.)
KW  - Mathematics
N1  - Includes bibliographical references and index
UR  - https://doi.org/10.1090/stml/089
ER  -