Metodene innen logikk er essensielle for en dypere forståelse av filosofi, og de spiller en avgjørende rolle i studiet av matematikk, databehandling, lingvistikk og flere andre fagområder. Denne autoritative boken gir en innføring i de viktigste begrepene og teknikkene som er knyttet til studiet av logikk, og den utforsker både formell og filosofisk logikk, samt effektive metoder for god resonnement. Hver enkelt modell kapittel omfatter: * Påstander og Argumenter * Sannhetstabeller * Trær * Betinget Logikk * Naturlig Deduksjon * Predikater, Navn og kvantifikatorer * Definerte Beskrivelser. Denne svært klare innføringen i emnet er ideelt tilpasset studenter som tar innføringskurs i logikk.
