R-Calculus, IV: Propositional Logic - häftad, Engelska, 2024