Základy formální logiky - Janák, Vladimír, 1927- (Praha : Státní pedagogické nakladatelství, 1976)