[fr] Principes de logique théorique

[pt] Principles of Mathematical Logic