In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard …