- Logic, Symbolic and mathematical (147)
- Artificial intelligence (14)
- Electronic digital computers--Programming (8)
- Logic programming (8)
- Set theory (8)
- Computer science (7)
- Mathematics--Philosophy (6)
- Automatic theorem proving (5)
- Reasoning (5)
- Computable functions (4)
- Computer science--Mathematics (4)
- Machine theory (4)
- Modality (Logic) (4)
- Semantics (Philosophy) (4)
- Algebra, Boolean (3)
- Axiomatic set theory (3)
- Computational complexity (3)
- Expert systems (Computer science) (3)
- Inference (3)
- Programming languages (Electronic computers)--Semantics (3)
- Recursive functions (3)
- Algorithms (2)
- Electronic data processing (2)
- Formal languages (2)
- Grammar, Comparative and general (2)
- Languages--Philosophy (2)
- Mathematics (2)
- Model theory (2)
- Natural language processing (Computer science) (2)
- Probabilities (2)
- Quantum theory (2)
- Time (2)
- Algebra (1)
- Algebra, Abstract (1)
- Algebraic logic (1)
- Analysis (Philosophy) (1)
- Arithmetic--Foundations (1)
- Artificial intelligence--Mathematical models (1)
- Artificial intelligence--Methodology (1)
- Axioms (1)
- Categorial grammar (1)
- Comprehension (Theory of knowledge)--Mathematical models (1)
- Computer algorithms (1)
- Computer programs--Correctness (1)
- Computer programs--Testing (1)
- Conceptual structures (Information theory) (1)
- Continuum hypothesis (1)
- Curves, Algebraic (1)
- Data base management (1)
- Data transmission systems (1)
- Decision support systems (1)
- Decision-making--Mathematical models (1)
- Ehrenfeucht, Andrzej (1)
- Electronic data processing--Mathematics (1)
- Electronic digital computers--Circuits--Design (1)
- Electronic digital computers--Design and construction (1)
- Grammar, Comparative and general--Tense (1)
- Gödel's theorem (1)
- Information theory (1)
- Iterative methods (Mathematics) (1)
- Knowledge representation (Information theory) (1)
- Lambda calculus (1)
- Language and logic (1)
- Lattice theory (1)
- Leśniewski, Stanislaw, 1896-1939 (1)
- Linguistics--History (1)
- Logic, Modern (1)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Mathematical analysis (1)
- Mathematical linguistics (1)
- Mathematical notation (1)
- Mathematical recreations (1)
- Mathematical statistics (1)
- Numbers, Natural (1)
- PL/CV (Computer program language) (1)
- Predicate calculus (1)
- Problem solving (1)
- Programming (Electronic computers) (1)
- Programming language (Electoronic computers)--Semantics (1)
- Prolog (Computer program language) (1)
- Proposition (Logic) (1)
- Psychology (1)
- Recursion theory (1)
- Semantics (1)
- Sorting (Electronic computers) (1)
- System design (1)
- Transistor circuits (1)
- Truth (1)
- Uniform spaces (1)