L8, 4/15, W. Will finish Section 2 (the LPCI syntax), start
on the semantics in Section 3 and aim to reach the basic definition in 3.6.
L7, 4/13, M. Will start on Part 2, Predicate Logic LPCI, and go through
the introductory Section 1 and the basics of the syntax, through 2.6.
L6, 4/10, F. Finished Part 1, Propositional Logic.
L5, 4/8, W. Will finish Section 3D.
L4, 4/6, M. Review (briefly) the definition of deductions
and continue in Section 3, aiming to get to Theorem 3D.2.
L3, 4/3, F. Finished Section 2 (except for skipping Theorem 2D.1)
and Section 3A.
L2, 4/1, W. Part 1, Section 2.
L1, 3/30, M. Part 1, Section 1.