Anais do Congresso de Iniciação Científica da Unicamp XXIV Congresso de Iniciação Científica da Unicamp

ISSN: 2447-5114

Vol. 2, 2016

DOI http://dx.doi.org/10.19146/pibic-2016

Centro de Lógica, Epistemologia e História da Ciência / UNICAMP ( Universidade Estadual de Campinas )

FABIO MAIA BERTATO

Também publicou em: pibic-2017

Este é seu perfil? Faça login para acessar seus certificados

First Order Logic and Gödel's Theorems
Exatas

ABNER DE MATTOS BRITO ¹ ; FABIO MAIA BERTATO ²

¹ Instituto de Matemática, Estatística e Computação Científica / UNICAMP ( Universidade Estadual de Campinas ) ;

² Centro de Lógica, Epistemologia e História da Ciência / UNICAMP ( Universidade Estadual de Campinas )

Mathematical Logic

First Order Logic

Gödel's Theorems

Vol. 2, 2016 -
51728
Argumentos silogísticos, entimemas e retórica nas artes liberais clássicas do Trivium
Humanas

GIOVANNA CANOVAS VIANA ¹ ; HEBERSON LUCAS SOARES DE BARROS ¹ ; LETICIA MARIA DE JESUS DIAS ¹ ; MATEUS AUGUSTO MENEZES BATISTA ¹ ; FABIO MAIA BERTATO ²

¹ PROFIS ;

² Centro de Lógica, Epistemologia e História da Ciência / UNICAMP ( Universidade Estadual de Campinas )

Artes Liberais

Lógica tradicional

Silogismo

Vol. 2, 2016 -
50940

Coautores(as) (5)

Publicações em outros proceedings