This publication contains a course outline, syllabus, and self-study units finished and partly tested in the Open Classroom, an auto-tutorial learning laboratory at Skagit Valley College (Washington). This self-contained course in elementary formal logic is designed for use in conjunction with Kalish and Montague's "Logic--Techniques of Formal Reasoning" (1964). Upon completion of this course, the student is expected to: (1) translate between ordinary literal English and formulations of symbolic logic, using Kalish-Montague notation; (2) construct valid derivations in the sentential and first-order predicate calculi; (3) lay a foundation for subsequent studies in mathematics as a systematic study of the properties of numbers; (4) learn how to study logic and mathematics independently. Although there are no formal prerequisites, it is recommended that the student complete a course in informal logic, read with considerable skill, and be able to interpret terse, non-redundant, literal English. The basic course is divided into four units, with a fifth optional unit available to students who wish to work for an "A" grade. All testing is done as the student proceeds from one unit to the next. For each unit of study, the student must perform one translation from English to logic and one derivation selected from the text. The basic course is expected to require about 165 hours. (NHM)