A Preface to Logic