Matematikai alapfogalmak A logikáról általában A logika meghatározásáról Rövid történeti áttekintés A logikai nyelvekről Általános tudnivalók – megjegyzések Néhány matematikai diszciplína logikai nyelve A matematikai logika leíró nyelve Az ítéletlogika Az ítéletlogika nyelve – szintaxis Az ítéletlogika nyelve – szemantika Ítéletlogikai törvények Szemantikus következményfogalom Az ítéletlogika strukturális tulajdonságairól Az elsőrendű logika Elsőrendű logikai nyelvek – szintaxis Elsőrendű logikai nyelvek – szemantika Elsőrendű logikai törvények Szemantikus következményfogalom A logika szintaktikus tárgyalása Bizonyításelmélet Gentzen-stílusú kalkulusok Rezolúciós elv – rezolúciós kalkulus A tablók módszere – tablókalkulus Alkalmazások Formalizálás – problémamegoldás A logikai programozásról