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.
Kateqoriyalar:
İl:
1988
Nəşr:
1ª Edição
Nəşriyyat:
Editora da Universidade (Universidade Federal do Rio Grande do Sul)
Dil:
portuguese
Səhifələr:
69
ISBN 10:
8570251688
ISBN 13:
9788570251688
Fayl:
DJVU, 1.84 MB
IPFS:
,
portuguese, 1988
Amazon 
Barnes & Noble 
Bookshop.org
Kitab mağazasını əlavə etmək istəyirsiniz? Bizimlə support@z-lib.do ilə əlaqə saxlayın
Faylları çevirin
Daha çox axtarış nəticəsi
Digər üstünlüklər 
Açar ifadələr
Əlaqəli Kitab Siyahıları
