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