Lógicos Portugueses (Século XX)

Elos Úteis para a História da Lógica em Portugal

História da Matemática em Portugal
http://www.mat.uc.pt/~jaimecs
Sociedade Portuguesa de Matemática
http://spm.lmc.fc.ul.pt
Portugaliae Mathematica
http://www.lmc.fc.ul.pt/~portmath
CMAF-Centro de Matemática e Aplicações Fundamentais
http://cmaf.lmc.fc.ul.pt/intro.pt-PT.html
Departamento de Matemática Aplicada / Faculdade de Ciências do Porto
http://www.ma.fc.up.pt
Grupo de Lógica e Computação (IST)
http://www.cs.math.ist.utl.pt/cs
Laboratório de Matemática Computacional
http://ptmat.lmc.fc.ul.pt/

Outros Recursos

Instituto Max Planck para a História das Ciências
http://www.mpiwg-berlin.mpg.de/ENGLHOME.HTM
História da Matemática na WWW
http://www.maths.tcd.ie/pub/H
Arquivos Bertrand Russell
http://www.mcmaster.ca/russd
Projecto ARACNE - Didáctica de Lógica
http://aracne.usal.es/
SWIF - Sito Web Italiano per la Filosofia
http://lgxserver.uniba.it/lei/
FoLLI - European Association for Logic, Language and Information
http://www.wins.uva.nl/research/folli/
IGPL - Interest Group in Pure and Applied Logic
http://theory.doc.ic.ac.uk/tfm/igpl.html


Agradeço todas as críticas a esta página. As sugestões para melhoria e aumento da bibliografia de lógica portuguesa são preciosas (tanto do século XX quanto de épocas passadas). Por favor, envie as críticas e sugestões para:

José Manuel Curado
Universidade do Minho
Instituto de Letras e Ciências Humanas
Largo do Paço
4719 Braga Codex
Portugal
Homepage: http://www.arauto.uminho.pt/pessoas/jmcurado/index.html
Email: jmcurado@ilch.uminho.pt