/subjects/Propositional_calculus
Type: /type/subject
name: Propositional calculus