Intensional logic (Q6044335)
approach to predicate logic
Language:
other details