Formal Logic
Série de Livros
por Crispin Wright
Mais Recente:
2006
Livro 1
Formel Logik
por Crispin Wright, Stephen Read, Lars Bo Gundersen