A first journey through logic / Martin Hils, François Loeser. Providence, Rhode Island : American Mathematical Society, 2019