Introdução à Lógica Elementar com o Símbolo de Hilbert

Introdução à Lógica Elementar com o símbolo de Hilbert, de Rejane Carrion e Newton C. A. da Costa......Page 
Capa......Page Introdução à Lógica Elementar com o símbolo de Hilbert . Rejane Carrion . Newton C. A. da Costa.djvu
Página de Título......Page scandjvutmp50d_0001.djvu
Copyright......Page scandjvutmp50e_0001.djvu
Sumário......Page scandjvutmp50f_0001.djvu
Prefácio......Page scandjvutmp510_0001.djvu
Introdução......Page scandjvutmp511_0001.djvu
1.  As lógicas não-clássicas......Page 8
2.  Aspectos da Lógica Clássica......Page scandjvutmp519_0001.djvu
Sintaxe Lógica......Page scandjvutmp51b_0001.djvu
Teoria dos Modelos......Page 18
Teoria da Recursão......Page scandjvutmp51c_0001.djvu
Lógica Algébrica......Page 19
Aplicações da Lógica à Matemática......Page scandjvutmp51d_0001.djvu
3.  A Lógica Elementar Clássica......Page 20
Capítulo 1 – A Linguagem da Lógica Elementar Clássica......Page scandjvutmp51f_0001.djvu
1.1.  Gramática de L......Page 22
1.2.  A Estrutura Dedutiva de L......Page scandjvutmp526_0001.djvu
Capítulo 2 – A Semântica de L......Page scandjvutmp53f_0001.djvu
2.1.  A Semântica da Lógica Elementar......Page scandjvutmp540_0001.djvu
2.2.  A Completude da Lógica Elementar......Page scandjvutmp544_0001.djvu
2.3.  As Teorias Elementares......Page scandjvutmp54a_0001.djvu
Leituras Complementares......Page scandjvutmp54c_0001.djvu