Days in logic' 06 : two tutorials / Fernando Ferreira, Peter Koepke ; Ed.Reinhard Kahle and Isabel Oitavem
Main Author Ferreira, Fernando, 1958- Coauthor Koepke, Peter Secondary Author Kahle, Reinhard Josef Klaus, 1967-Oitavem, Isabel Language Inglês. Country Portugal. Publication Coimbra : Departamento de Matemática da Universidade de Coimbra, 2006 Description V, 78 p. ; 23 cm Series Textos de Matemática , 38 ISBN 978-972-8564-42-1 Topical name Teoria da prova
Teoria de conjuntos
Lógica - Matemática CDU 510.6
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Monografia | DAY 510.6 89531 SD | Available | SD01089531 |
Contém referências bibliográficas e índice
There are no comments for this item.