Ontology in the Tractatus of L. Wittgenstein. - Roman Suszko (Notre Dame J. Formal Log., 1968)

Investigations into the sentential calculus with identity. - Stephen L. Bloom; Roman Suszko (Notre Dame J. Formal Log., 1972)

Errata: "Investigations into the sentential calculus with identity". - Stephen L. Bloom; Roman Suszko (Notre Dame J. Formal Log., 1976)