Online_ISSN: 1368-9894Disciplina: Philosophical LogicOASubject: MathematicsOA Type: Hybrid OAPublisher: OUP