SITES INTERNACIONAIS SOBRE
LÓGICA E FUNDAMENTOS MATEMÁTICOS
Lógica Clássica - Introdução à lógica clássica, incluindo completude e teoremas Löwenheim-Skolem; por Stewart Shapiro.
Computability Logic Homepage - fonte em linha principal na lógica computability - um surgiu recentemente teoria formal de tarefas e recursos computacionais. Mantido por G.Japaridze.
Introdução à Lógica Matemática - Hyper-livro para estudantes por V. Detlovs e K. Podnieks.
Lógica Matemática e Fundamentos - From The Atlas Matemático, um recurso da matemática mantidos por David Rusin. Amplos recursos relacionados à lógica e teoria dos conjuntos.
Definir Teoria e Fundamentos da Matemática - Projeto pessoal para reconstruir a matemática de uma forma curta e rigorosa de uma nova formalização da teoria dos conjuntos, e explicar os seus aspectos filosóficos. Também inclui algumas física.