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