Mitkä ovat yleisesti hyväksytyt loogisen päättelyn periaatteet? Mitkä ovat menetelmät, joilla oikea päättely voidaan erottaa väärästä? Miksi jokin väite seuraa hyväksytyistä oletuksista, kun taas jokin toinen väite ei seuraa? Johdatus logiikkaan vastaa näihin kysymyksiin. Kirja antaa lukijalle peruskäsitteet ja työvälineet loogisesti oikean päättelyn ymmärtämiseen. Lukuisten esimerkkien ja tehtävien avulla lukija harjaantuu loogisen päättelyn suorittamiseen. Kirjassa käsitellään myös yleistettyjä kvanttoreita, äärettömiä kieliä, konstruktiivista ja moniarvologiikkaa.

Johdatus logiikkaan on tarkoitettu lähinnä matematiikan ja tietojenkäsitteluopin opiskelijoille. Sen lukeminen ei kuitenkaan edellytä kummaltakaan alalta esitietoja. Siksi kirja soveltuu myös muille logiikasta kiinnostuneille.