Title: Metody refutacyjne w badaniach nad systemami logicznymi
Subjects: Invariants, Decidability (Mathematical logic), Criticism and interpretation, Refutation (Logic)
People: Jan Łukasiewicz