A preface to logic