A preface to logic. (2018)