Kładoczny, Piotr (2015): The Release and Rehabilitation of Victims of Stalinist Terror in Poland. In McDermott, Kevin; Stibbe, Matthew (editors) (2015): De-Stalinising Eastern Europe: The Rehabilitation of Stalin's Victims after 1953.
Palgrave Macmillan,
Basingstoke, pp. 67–86
Góralski, Andrzej (editor) (2015): Andrzej Grzegorczyk – Człowiek i dzieło. Biblioteka Dialogu. Universitas Rediviva, Warszawa
Maksimova, Larisa Lvovna (2006): Projective Beth Property in Extensions of Grzegorczyk Logic.
Studia Logica: An International Journal for Symbolic Logic, Volume 83, pp. 365–391
Kostrzycka, Zofia (2006): Density of truth in modal logics. Discrete Mathematics and Theoretical Computer Science Proceedings Volume AG Fourth Colloquium on Mathematics and Computer Science: Algorithms, Trees, Combinatorics and Probabilities, Nancy, France pp. 161–170
Hainry, Emmanuel (2006): Modèles de calcul sur les réels, résultats de comparaison. Doctoral thesis, Institut National Polytechnique de Lorraine, Laboratoire Lorrain de Recherche en Informatique et ses Applications – UMR 7503, supervised by Olivier Bournez
Gawor, Leszek; Zdybel, Lech (2005): Elements of Twentieth Century Polish Ethics. In Jedynak, Stanisław (editor) (2005): Polish Axiology: The 20th Century and Beyond. Polish Philosophical Studies V. The Council for Research in Values and philosophy, Washington, D.C., Chapter II, pp. 37–61
Fiorentini, Camillo; Miglioli, Pierangelo (1999): A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications. Logic Journal of the IGPL, Volume 7, Issue 6, pp. 733–753
Srzednicki, Jan Tadeusz Jerzy; Stachniak, Zbigniew (editors) (1998): Leśniewski's Systems Protothetic.
Kluwer Academic Publishers,
Dordrecht
Weihrauch, Klaus (1997): A Foundation for Computable Analysis. In Freksa, Christian; Jantzen, Matthias;
Valk, Rüdiger (editors) (1997): Foundations of Computer Science: Potential-Theory-Cognition.
Springer,
Heidelberg, pp. 185–199
Kaczor, Anna (1997): Perspektywy edukacji.
Przegląd Humanistyczny, Volume 41, Number 3, Issue 342, pp. 188–193
Jadacki, Jacek Juliusz (1996): The Conceptual System of the Lvov–Warsaw School. Axiomathes, Number 3, pp. 325–333
Mardaev, Sergei Il'ich (1993): Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic. Algebra and Logic, Volume 32, Issue 5, pp. 279–288
Paris, Jeffrey Bruce;
Wilkie, Alex James (1984): sets and induction. In Guzicki, Wojciech;
Marek, Wiktor Witold; Pelc, Andrzej; Rauszer, Cecylia (editors) (1984): Open Days in Model Theory and Set Theory: Proceedings of a Conference held in September 1981 at Jadwisin, near Warsaw, Poland.
University of Leeds,
Leeds, pp. 237–248
Cichoń, Eugeniusz Adam; Wainer, Stanley Scott (1983): The
Slow-Growing and the Grzegorczyk Hierarchies.
Journal of Symbolic Logic, Volume 48, Issue 2, pp. 399–408
Wainer, Stanley Scott (1972): Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy.
Journal of Symbolic Logic, Volume 37, Issue 2, pp. 281–292
Görnemann, Sabine (1971): A logic stronger than intuitionism.
Journal of Symbolic Logic, Volume 36, Issue 2, pp. 249–261
Klemke, Dieter (1970): Ein vollständiger Kalkül für die Folgerungsbeziehung der Grzegorczyk-Semantik. Dissertation,
Albert-Ludwigs-Universität Freiburg im Breisgau, Naturwissenschaftlich-Mathematische Fakultät
Görnemann, Sabine (1969): Über eine Verschärfung der intuitionistischen Logik. Proefschrift,
Technische Hochschule Hannover, Fakultät für Mathematik und Naturwissenschaft
Kładoczny, Piotr (2015): The Release and Rehabilitation of Victims of Stalinist Terror in Poland. In McDermott, Kevin; Stibbe, Matthew (editors) (2015): De-Stalinising Eastern Europe: The Rehabilitation of Stalin's Victims after 1953.
Palgrave Macmillan,
Basingstoke, pp. 67–86
Góralski, Andrzej (editor) (2015): Andrzej Grzegorczyk – Człowiek i dzieło. Biblioteka Dialogu. Universitas Rediviva, Warszawa
Maksimova, Larisa Lvovna (2006): Projective Beth Property in Extensions of Grzegorczyk Logic.
Studia Logica: An International Journal for Symbolic Logic, Volume 83, pp. 365–391
Kostrzycka, Zofia (2006): Density of truth in modal logics. Discrete Mathematics and Theoretical Computer Science Proceedings Volume AG Fourth Colloquium on Mathematics and Computer Science: Algorithms, Trees, Combinatorics and Probabilities, Nancy, France pp. 161–170
Hainry, Emmanuel (2006): Modèles de calcul sur les réels, résultats de comparaison. Doctoral thesis, Institut National Polytechnique de Lorraine, Laboratoire Lorrain de Recherche en Informatique et ses Applications – UMR 7503, supervised by Olivier Bournez
Gawor, Leszek; Zdybel, Lech (2005): Elements of Twentieth Century Polish Ethics. In Jedynak, Stanisław (editor) (2005): Polish Axiology: The 20th Century and Beyond. Polish Philosophical Studies V. The Council for Research in Values and philosophy, Washington, D.C., Chapter II, pp. 37–61
Fiorentini, Camillo; Miglioli, Pierangelo (1999): A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications. Logic Journal of the IGPL, Volume 7, Issue 6, pp. 733–753
Srzednicki, Jan Tadeusz Jerzy; Stachniak, Zbigniew (editors) (1998): Leśniewski's Systems Protothetic.
Kluwer Academic Publishers,
Dordrecht
Weihrauch, Klaus (1997): A Foundation for Computable Analysis. In Freksa, Christian; Jantzen, Matthias;
Valk, Rüdiger (editors) (1997): Foundations of Computer Science: Potential-Theory-Cognition.
Springer,
Heidelberg, pp. 185–199
Kaczor, Anna (1997): Perspektywy edukacji.
Przegląd Humanistyczny, Volume 41, Number 3, Issue 342, pp. 188–193
Jadacki, Jacek Juliusz (1996): The Conceptual System of the Lvov–Warsaw School. Axiomathes, Number 3, pp. 325–333
Mardaev, Sergei Il'ich (1993): Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic. Algebra and Logic, Volume 32, Issue 5, pp. 279–288
Paris, Jeffrey Bruce;
Wilkie, Alex James (1984): sets and induction. In Guzicki, Wojciech;
Marek, Wiktor Witold; Pelc, Andrzej; Rauszer, Cecylia (editors) (1984): Open Days in Model Theory and Set Theory: Proceedings of a Conference held in September 1981 at Jadwisin, near Warsaw, Poland.
University of Leeds,
Leeds, pp. 237–248
Cichoń, Eugeniusz Adam; Wainer, Stanley Scott (1983): The
Slow-Growing and the Grzegorczyk Hierarchies.
Journal of Symbolic Logic, Volume 48, Issue 2, pp. 399–408
Wainer, Stanley Scott (1972): Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy.
Journal of Symbolic Logic, Volume 37, Issue 2, pp. 281–292
Görnemann, Sabine (1971): A logic stronger than intuitionism.
Journal of Symbolic Logic, Volume 36, Issue 2, pp. 249–261
Klemke, Dieter (1970): Ein vollständiger Kalkül für die Folgerungsbeziehung der Grzegorczyk-Semantik. Dissertation,
Albert-Ludwigs-Universität Freiburg im Breisgau, Naturwissenschaftlich-Mathematische Fakultät
Görnemann, Sabine (1969): Über eine Verschärfung der intuitionistischen Logik. Proefschrift,
Technische Hochschule Hannover, Fakultät für Mathematik und Naturwissenschaft