Semantika (filozofija)
Semantics (Philosophy)
Mathematical logic
Matemaattinen logiikka
Algebra, loģikas
Loģika, simboliskā un matemātiskā
Loģikas algebra
Matemātiskā loģika
Matemātiskā un simboliskā loģika
Simboliskā loģika
Source: Latvijas padomju enciklopēdija, 1985:
Logic, Symbolic and mathematical
Simboliskā un matemātiskā loģika
Pragmatika
Pragmatics
Matemātika
Mathematics
Automātu teorija
Automata theory
Kopu teorija
Set theory
Zinātnes metodoloģija
Science--Methodology
Faziloģika
Fuzzy logic
Modeļu teorija
Model theory
Pārslēgšanas teorija
Switching theory
Abstraktā algebra
Abstract algebra
Siloģisms
Syllogism
Lambda rēķini
Lambda calculus
Pierādījuma teorija
Proof theory
Gēdela teorēma
Gödel's incompleteness theorems
Kategorijas (matemātika)
Categories (Mathematics)
Rekursīvās funkcijas
Recursive functions
Neklasiskā matemātiskā loģika
Nonclassical mathematical logic
Algebriskā loģika
Algebraic logic
Rekursijas teorija
Recursion theory
Aksiomātiskā kopu teorija
Axiomatic set theory
Datoru loģika
Computer logic
Pilnības teorēma
Completeness theorem
Algoritmu teorija
Theory of algorithms