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
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