No cover image available
O teorema da normalização para lógica de primeira ordem / Jorge Manuel Martins Correia; orient. José Carlos Espírito Santo, Luís Filipe Ribeiro Pinto
Main Author Correia, Jorge Manuel Martins Secondary Author Espírito Santo, JoséPinto, Luís F. Corporate Author (Secondary) Universidade do Minho. Escola de Ciências Country Portugal. Publication [Braga : s.n.], 2009 Description XI, 76 p. ; 30 cm Dissertation Note or Thesis: CDU 510 Online resource Versão electrónica. Acesso livre
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | Documentos Online + Teses e Dissertações | BGUMD 45227 | Available | 397019 |
Total holds: 0
Existe versão em CD-ROM
Tese mestrado Matemática (área de especialização em Ensino) Escola de Ciências da Universidade do Minho 2009
There are no comments for this item.