Formel logik

Bok av Stephen Read och Crispin Wright