/subjects/Predicate_calculus
Type: /type/subject
name: Predicate calculus