Ferreira, Fernando, 1958-
Days in logic' 06 : two tutorials / Fernando Ferreira, Peter Koepke ; Ed.Reinhard Kahle and Isabel Oitavem
Days in logic' 06 : two tutorials / Fernando Ferreira, Peter Koepke ; Ed.Reinhard Kahle and Isabel Oitavem
. - Coimbra : Departamento de Matemática da Universidade de Coimbra, 2006
. - V, 78 p. 23 cm
. - (Textos de Matemática; 38)
. - Contém referências bibliográficas e índice
978-972-8564-42-1
Teoria da prova
Teoria de conjuntos
Lógica - Matemática
510.6