Úvod do studia logiky, obsahující podstatné prvky matematické logiky (úplnost, kardinalita, kompaktnost kategoričnost), navíc věnující zvláštní pozornost filosofickým, lingvistickým a metodologickým aspektům logiky