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.