Caracterizações semânticas e dedutivas da lógica proposicional bi-intuicionista / Carlos Jorge Pereira Monteiro ; orient. Luís Filipe Pinto
Main Author Monteiro, Carlos Jorge Pereira Secondary Author Pinto, Luís Filipe Language Português. Country Portugal. Publication Vila Real : [s.n.], 2006 Description X, 100 f. ; 30 cm Thesis: Dissertação de Mestrado em Ensino da Matemática, apresentada à Universidade de Trás-os-Montes e Alto Douro Topical name Lógica matemática - [Teses] Index terms Lógica bi-intuicionista CDU 510.6(043.2)| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Monografia | MON 510.6 88551/1 SD | Available | SD88551/1 | ||
| Monografia | MON 510.6 88551/2 SD | Available | SD88551/2 | ||
| Monografia | MON 510.6 88551/3 SD | Available | SD88551/3 |
Dissertação de Mestrado em Ensino da Matemática, apresentada à Universidade de Trás-os-Montes e Alto Douro
There are no comments for this item.