Mendes,, C. A lógica intuicionista e a conectiva / Carla Albertina Carvalhinho da Silva Mendes

A lógica intuicionista e a conectiva / Carla Albertina Carvalhinho da Silva Mendes . - Braga : Universidade do Minho, 1993 . - 51 f. 30 cm . -
Tese ("Mestre em Informática"), apresentada à Universidade do Minho
681.3