Note on grammatical translations of logical calculi. - Stanislaw Krajewski (Arch. Math. Log., 1992)

Gödel on Tarski. - Stanislaw Krajewski (Ann. Pure Appl. Log., 2004)

On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to 'Out-Gö del' the Mechanist. - Stanislaw Krajewski (Fundam. Informaticae, 2007)

Andrzej Grzegorczyk: Logic and Philosophy. - Stanislaw Krajewski; Jan Wolenski (Fundam. Informaticae, 2007)

Mathematical Models in Theology. A Buber-inspired Model of God and its Application to "Shema Israel". - Stanislaw Krajewski (FLAP, 2019)

Logic and the Concept of God. - Stanislaw Krajewski; Ricardo Sousa Silvestre (FLAP, 2019)

Theological Discourse and Logic. - Stanislaw Krajewski; Marcin Trepczynski (Logica Universalis, 2019)