Logic Primer, third edition av Colin Allen, Michael Hand

Den tredje utgaven av 'Logic Primer' gir en grundig og presis innføring i symbolsk logikk. Boken presenterer viktige konsepter med klare definisjoner, illustrative eksempler, og relevante øvelser. Etter å ha forklart begrepene gyldighet og soundhet, introduseres leserne for et formelt språk, bevisteori, og formell semantikk for setningslogikk (kapitlene 1-3) samt for førsteparts predikatlogikk (kapitlene 4-6) inkludert identitet (kapittel 7). I denne oppdaterte utgaven er materialet omorganisert fra fire til syv kapitler, noe som øker modulærheten i teksten og gir undervisere muligheten til å velge alternative læringsstier. Nye øvelser er lagt til, og alle oppgaver er nå strukturert på en måte som hjelper studentene med å bevege seg fra enklere til mer utfordrende problemer. Den enkle og elegante behandlingen av emnet gjør 'Logic Primer' unik blant lærebøker og tillater studentene å studere med minimum forstyrrelse.