- Logic, Symbolic and mathematical (150)
- Mathematics--Philosophy (19)
- Languages--Philosophy (15)
- Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus (8)
- Set theory (6)
- Electronic digital computers--Programming (5)
- Language and languages--Philosophy (5)
- Semantics (Philosophy) (5)
- Artificial intelligence (4)
- Grammar, Comparative and general (4)
- Inference (4)
- Logic programming (4)
- Algebra (3)
- Automatic theorem proving (3)
- Computable functions (3)
- Computational complexity (3)
- Modality (Logic) (3)
- Algebra, Boolean (2)
- Axiomatic set theory (2)
- Computer science (2)
- Computer science--Mathematics (2)
- Continuum hypothesis (2)
- Electronic data processing--Mathematics (2)
- Ethics (2)
- Frege, Gottlob, 1848-1925 (2)
- Language and logic (2)
- Mathematical analysis (2)
- Metaphysics (2)
- Probabilities (2)
- Programming languages (Electronic computers)--Semantics (2)
- Reasoning (2)
- Recursive functions (2)
- Science--Philosophy (2)
- Abelian groups (1)
- Algebra, Abstract (1)
- Algebraic logic (1)
- Analysis (Philosophy) (1)
- Artificial intelligence--Methodology (1)
- Automata (1)
- Axioms (1)
- Categorial grammar (1)
- Computational linguistics (1)
- Computer programs--Correctness (1)
- Constructive mathematics (1)
- Data base management (1)
- Data transmission systems (1)
- Decision support systems (1)
- Decision-making--Mathematical models (1)
- Descartes, René, 1596-1650. Discours de la méthode (1)
- Descartes, René, 1596-1650. Regulae ad directionem ingenii (1)
- Electronic data processing (1)
- Equations, Theory of (1)
- Formal languages (1)
- Frege, Gottlob, 1848-1925--Influence (1)
- Fuzzy logic (1)
- Grammar, Comparative and general--Syntax (1)
- Group theory (1)
- Groups, Theory of (1)
- Gödel's theorem (1)
- Intentionality (Philosophy) (1)
- Knowledge, Theory of (1)
- Lambda calculus (1)
- Linguistics--History (1)
- Logic, Modern (1)
- Logical positivism (1)
- Machine theory (1)
- Mathematical analysis, Nonstandard (1)
- Mathematical linguistics (1)
- Mathematics (1)
- Mathematics--1961- (1)
- Mathematics--Data processing (1)
- Model theory (1)
- Nerode, Anil, 1932- (1)
- Numbers, Natural (1)
- Phenomenology (1)
- Philosophers--Germany--Correspondence (1)
- Problem solving (1)
- Programming (Electronic digital computers) (1)
- Programming languages (Electronic computers) (1)
- Prolog (Computer program language) (1)
- Recursion theory (1)
- Saving and investment (1)
- Science--Methodology (1)
- Semantics (1)
- Sorting (Electronic computers) (1)
- Spinoza, Benedictus de, 1632-1677. Ethica (1)
- System design (1)
- Tarski, Alfred (1)
- Taxation (1)
- Time (1)
- Topology (1)
- Transcendence (Philosophy) (1)
- Type theory (1)
- Uniform spaces (1)
- Wittgenstein, Ludwig, 1889-1951--Language (1)
- Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philisophicus (1)