Páginas com hiperligações para "George Boolos"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para George Boolos:
Mostrando 11 itens.
- Lógica de primeira ordem (← afluentes)
- Função μ-recursiva (← afluentes)
- Teorema da eliminação do corte (← afluentes)
- Teorema da indefinibilidade de Tarski (← afluentes)
- Filosofia da Lógica (← afluentes)
- Quantificação plural (← afluentes)
- Máquina de registradores (← afluentes)
- Operador µ (← afluentes)
- Lógica doxástica (← afluentes)
- Inexpressabilidade da Lógica de Primeira Ordem (← afluentes)
- Domínio booliano (← afluentes)