Jstor: Site
Euclid Project: Site
Oxford Journals
Logic Journal of the IGPL: Site
Journal of logic and computation: Site
Philosofia Mathematica: Site
Alternativas à lógica clássica: intuicionismo e paraconsistência
-
Foi na primeira metade do século XX que a lógica clássica se estabeleceu
como o tratamento padrão da consequência lógica. Mas foi também no século
XX que ...
Há 5 anos
Nenhum comentário:
Postar um comentário