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)