Monteiro, Carlos Jorge Pereira Caracterizações semânticas e dedutivas da lógica proposicional bi-intuicionista / Carlos Jorge Pereira Monteiro ; orient. Luís Filipe Pinto

Caracterizações semânticas e dedutivas da lógica proposicional bi-intuicionista / Carlos Jorge Pereira Monteiro ; orient. Luís Filipe Pinto . - Vila Real : [s.n.], 2006 . - X, 100 f. 30 cm . -
Dissertação de Mestrado em Ensino da Matemática, apresentada à Universidade de Trás-os-Montes e Alto Douro Lógica matemática - [Teses]

510.6(043.2)