Logic & Proofs is available for individual learners in two different modes. The first mode is the completely free version. This version does not include the chapter assignments or any exams; it is to be used for a detailed, free exploration of modern logic and this novel approach to logic instruction. In particular, the chapters' practice problems for the construction of proofs allow appeals to the supportive Dynamic Proof Tutor.

Then there is, secondly, the certificate version that carries a small registration fee of $80. Here the individual student has access to the full course content of Logic & Proofs (but without Instructor or TA support, and not including any exams). As in the free version, the chapters' practice problems allow, when involving the construction of proofs, appeals to the Proof Tutor. The assignments do not; they give students the opportunity to demonstrate the mastery of their logical skills. All the chapter assignments are graded automatically and provide informative feedback. 

A Carnegie Mellon Certificate is obtained by solving more than 75% of the Quizzes and Lab problems; if learners solve more than 90%, they obtain a Certificate with distinction.

Finally, in the certificate version, the learner has also access to the standalone version of the LogicLab, i.e., a free-standing application that has all the features of the online version.  The standalone LogicLab goes beyond the course labs in that it allows students to formulate their own problems and then to solve them in the same fashion as the problems contained in the course material.