Visualização normal
Visualização MARC
- Lógica simbólica e matemática
Lógica simbólica e matemática(Termo tópico)
Usado para/ver:
- Algebra of logic
- Logic, Universal
- Lógica matemática
- Mathematical logic
- Symbolic and mathematical logic
Ver também:
- Cabeçalho mais específico: Cálculo de predicados
- Cabeçalho mais específico: Cálculo proposicional
- Cabeçalho mais específico: Categorias (Matemática)
- Cabeçalho mais específico: Ciência Metodologia
- Cabeçalho mais específico: Gödel, Teorema de
- Cabeçalho mais específico: Lógica algébrica
- Cabeçalho mais específico: Lógica de computador
- Cabeçalho mais específico: Lógica de primeira ordem
- Cabeçalho mais específico: Lógica difusa
- Cabeçalho mais específico: Lógica matricial
- Cabeçalho mais específico: Pragmática
- Cabeçalho mais específico: Programas de computador Precisão
- Cabeçalho mais específico: Semântica (Filosofia)
- Cabeçalho mais específico: Teoria axiomática dos conjuntos
- Cabeçalho mais específico: Teoria da recursão
- Cabeçalho mais específico: Teoria das demonstrações
- Cabeçalho mais específico: Teoria do modelo
- Cabeçalho mais específico: Teoria dos autômatos
- Teoria dos conjuntos
- Cabeçalho mais amplo: Matemática
- Cabeçalho anterior: Álgebra abstrata
- Cabeçalho anterior: Metamatemática
- Cabeçalho anterior: Silogismo
- Cabeçalho mais específico: Funções recursivas
LCSH