Základy formální logiky - Janák, Vladimír, 1927- (Odborná literatura pro učitele, 1973)