Lógica

Fundamentos de Computação

Fundamentos de Programação em Lógica

Raciocínio Não-Monotônico

Aspectos Lógicos da Computação