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