Buscar
Mostrando ítems 1-10 de 75
Semantica de sociedades para logicas n-valentes
([s.n.], 2001)
N. A. Vasiliev e a logica não-classica
([s.n.], 1983)
A lógica de Brouwer e o príncipio ex falso quodlibet
(Universidade Federal de Minas GeraisUFMG, 2018-02-20)
From both a historical and philosophical point of view, the development of intuitionist logic by Arend Heyting is usually justified as the formalization of L.E.J. Brouwers ideas on the nature of logic and its relationship ...
Crenças não ditas, ditos de crenças
([s.n.], 2003)
Traduções conservativas
([s.n.], 1997)
Valorações para alguns sistemas de logica do tempo
([s.n.], 1982)
Semanticas de traduções possiveis
([s.n.], 1999)