MATHEMATICAL LOGIC
Theory of Abstract Properties
Non-monotonic Inference
Theory of Quantifiers
Theory of Concept
Mathematical Linguistics