Universidade do Minho  

       
 
  Autenticação/Login
 
Contacts
Site Map
   
  print
 
back 
Caracterizações semânticas e dedutivas da Lógica Proposicional Bi-Intuicionista
Author: Carlos Jorge Pereira Monteiro, da Universidade de Trás-os-Montes e Alto Douro
Advisor: Luís Pinto
Local: University of Minho

back 
 
 
  © 2019 Universidade do Minho  - Legal Terms  - updated by DMA Símbolo de Acessibilidade na Web D.