JANÁK, Vladimír. Základy formální logiky. Praha: Státní pedagogické nakladatelství, 1973.
APA CSE CSE NY ČSN ISO 690:2022 (číslování) ČSN ISO 690:2022 - autor, datum Harvard Chicago (16th edition) IEEE ISO 690 MLA (7th edition) Turabian (7th edition)