A teaching companion to Lemmon's beginning logic - Schumm, George F. (Indianapolis : Hackett Publishing Company, 1979)
Keywords: formální logika; predikátová logika; výroková logika; formal logic; predicate calculus; propositional calculus; příručky; praktická cvičení; učebnice vysokých škol