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.
カテゴリー:
年:
1988
版:
1ª Edição
出版社:
Editora da Universidade (Universidade Federal do Rio Grande do Sul)
言語:
portuguese
ページ:
69
ISBN 10:
8570251688
ISBN 13:
9788570251688
ファイル:
DJVU, 1.84 MB
IPFS:
,
portuguese, 1988
Amazon 
Barnes & Noble 
Bookshop.org 
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
主要なフレーズ
関連ブックリスト
