R-Calculus, IV: Propositional Logic - innbundet, Engelsk, 2023