Preferred term
Logic, Symbolic and mathematical
Broader concept
Broader conceptNarrower concepts
Narrower concepts.- Automata theory
- Axiomatic set theory
- Categories (Mathematics)
- Completeness theorem
- Computer logic
- Fuzzy logic
- Gödel's incompleteness theorems
- Lambda calculus
- Model theory
- Nonclassical mathematical logic
- Pragmatics
- Proof theory
- Recursion theory
- Recursive functions
- Science--Methodology
- Semantics (Philosophy)
- Switching theory
- Theory of algorithms
Entry terms
Alternative terms for the concept.- Mathematical logic
Note
Notes- Source: Latvijas padomju enciklopēdija, 1985:
Identifier
- LNC10-000048118
In other languages
Terms for the concept in other languages.Finnish
- Matemaattinen logiikka
Latvian
- Simboliskā un matemātiskā loģika
- 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
URI
http://dati.lnb.lv/onto/subject/LNC10-000048118