- Logic, Symbolic and mathematical (148)
- Mathematics--Philosophy (15)
- Artificial intelligence (11)
- Set theory (11)
- Languages--Philosophy (9)
- Semantics (Philosophy) (8)
- Electronic digital computers--Programming (7)
- Logic programming (5)
- Modality (Logic) (4)
- Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus (4)
- Algebra (3)
- Arithmetic--Foundations (3)
- Automatic theorem proving (3)
- Formal languages (3)
- Frege, Gottlob, 1848-1925 (3)
- Mathematics (3)
- Reasoning (3)
- Topology (3)
- Algebra, Boolean (2)
- Computable functions (2)
- Computer science--Mathematics (2)
- Grammar, Comparative and general (2)
- Inference (2)
- Knowledge, Theory of (2)
- Machine theory (2)
- Number theory (2)
- Quantum theory (2)
- Recursive functions (2)
- Semantics (2)
- Time (2)
- Abelian groups (1)
- Analysis (Philosophy) (1)
- Artificial intelligence--Methodology (1)
- Axiomatic set theory (1)
- Axioms (1)
- Chemical engineering--Mathematics (1)
- Computational complexity (1)
- Computer architecture (1)
- Computer programs--Correctness (1)
- Computer programs--Testing (1)
- Computer science (1)
- Constructive mathematics (1)
- Continuum hypothesis (1)
- Data structures (Computer science) (1)
- Decision support systems (1)
- Decision-making--Mathematical models (1)
- Digital electronics (1)
- Electrodynamics (1)
- Equations, Theory of (1)
- Expert systems (Computer science) (1)
- Functions of complex variables (1)
- Fuzzy systems (1)
- Grammar, Comparative and general--Mass nouns (1)
- Grammar, Comparative and general--Syntax (1)
- Group theory (1)
- Groups, Theory of (1)
- Hilbert space (1)
- Inconsistency (Logic) (1)
- Intentionality (Philosophy) (1)
- Language and languages--Philosophy (1)
- Leśniewski, Stanislaw, 1896-1939 (1)
- Linear programming (1)
- Linguistics--History (1)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Logical positivism (1)
- Mathematical analysis (1)
- Mathematical analysis, Nonstandard (1)
- Mathematical optimization (1)
- Mathematical recreations (1)
- Mathematics--Data processing (1)
- Meinong, A. (Alexius), 1853-1920 (1)
- Metaphysics (1)
- Numbers, Natural (1)
- Numbers, Theory of (1)
- Object (Philosophy) (1)
- Ontology (1)
- PL/CV (Computer program language) (1)
- Philosophers--Germany--Correspondence (1)
- Philosophy (1)
- Probabilities (1)
- Problem solving (1)
- Programming (Electronic computers) (1)
- Programming (Electronic digital computers) (1)
- Programming languages (Electronic computers) (1)
- Recursion theory (1)
- Science--Methodology (1)
- Science--Philosophy (1)
- Switching theory (1)
- System design (1)
- Uncertainty (Information theory) (1)
- Uniform spaces (1)