Coletânea de comunicações do Logic Colloquium 2007 reúne trabalhos sobre teoria dos modelos, teoria da demonstração e teoria dos conjuntos.

Textos incluem resultados técnicos e desenvolvimentos formais em semântica matemática e computabilidade; a análise de provas formais e de estruturas modelares aparece em vários capítulos.

Leitura adequada para quem busca acesso a contribuições técnicas em lógica matemática e suas interfaces com computação e teoria dos conjuntos.