ABNER DE MATTOS BRITO | unicamp-pibic | Galoá Proceedings

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

ABNER DE MATTOS BRITO

Trabalhos (1)

First Order Logic and Gödel's Theorems
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 )
Vol. 2, 2016 -
51728

Exatas

paper

Co-autores (1)

FABIO MAIA BERTATO
6 publicações

Veja autor >