Logikos vadovėlis studentams. Turinį sudaro: Logikos objektas, Teiginių logika, Predikatų logika, Loginių klasių teorija, Kitos loginės sistemos, Loginė semantika, Dedukcinis metodas, Tikimybiniai samprotavimai, Įrodymas, Senoji formalioji logika, Logikos istorija.