Introdução à Lógica Elementar com o Símbolo de Hilbert
Rejane Carrion, Newton Carneiro Affonso da Costa
Apresentação da Contracapa:
A teoria dos operadores que formam termos ligando variáveis de fórmulas tem sido muito desenvolvida e encontrado aplicações diversas. O caráter não trivial das técnicas para se estudar o símbolo de Hilbert torna patente o significado profundo das noções da lógica hodierna. Achamos então que uma introdução à lógica fundada no símbolo de Hilbert associado à lógica elementar afigura-se conveniente.
A teoria dos operadores que formam termos ligando variáveis de fórmulas tem sido muito desenvolvida e encontrado aplicações diversas. O caráter não trivial das técnicas para se estudar o símbolo de Hilbert torna patente o significado profundo das noções da lógica hodierna. Achamos então que uma introdução à lógica fundada no símbolo de Hilbert associado à lógica elementar afigura-se conveniente.
Categories:
Year:
1988
Edition:
1ª Edição
Publisher:
Editora da Universidade (Universidade Federal do Rio Grande do Sul)
Language:
portuguese
Pages:
69
ISBN 10:
8570251688
ISBN 13:
9788570251688
File:
DJVU, 1.84 MB
IPFS:
,
portuguese, 1988
Amazon 
Barnes & Noble 
Bookshop.org 
File converter
More search results
More benefits 
Most frequently terms
Related Booklists
