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

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

ABNER DE MATTOS BRITO

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

Coautores(as) (1)

FABIO MAIA BERTATO
2 publicações