/subjects/First-order_logic
Type: /type/subject
name: First-order logic