| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
| 2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
| 2018 | Diophantine sets. Preliminaries | Pąk, Karol | - | - |
| 2014 | Topological Manifolds | Pąk, Karol | - | - |
| 2014 | Tarski Geometry Axioms | Richter, William; Grabowski, Adam; Alama, Jesse | - | - |
| 2014 | The Formal Construction of Fuzzy Numbers | Grabowski, Adam | - | - |
| 2014 | Bertrand’s Ballot Theorem | Pąk, Karol | - | - |
| 2014 | A Note on the Seven Bridges of Königsberg Problem | Naumowicz, Adam | - | - |
| 2014 | The First Isomorphism Theorem and Other Properties of Rings | Korniłowicz, Artur; Schwarzweller, Christoph | - | - |
| 2013 | On Square-Free Numbers | Grabowski, Adam | - | - |
| 2015 | Two Axiomatizations of Nelson Algebras | Grabowski, Adam | - | - |
| 2012 | The Borsuk-Ulam Theorem | Korniłowicz, Artur; Riccardi, Marco | - | - |
| 2012 | Cayley-Dickson Construction | Korniłowicz, Artur | - | - |
| 2013 | Relational Formal Characterization of Rough Sets | Grabowski, Adam | - | - |
| 2013 | More on Divisibility Criteria for Selected Primes | Naumowicz, Adam; Piliszek, Radosław | - | - |
| 2013 | Commutativeness of Fundamental Groups of Topological Groups | Korniłowicz, Artur | - | - |
| 2012 | Products in Categories without Uniqueness of cod and dom | Korniłowicz, Artur | - | - |
| 2012 | The Friendship Theorem | Pąk, Karol | - | - |
| 2017 | All Liouville Numbers are Transcendental | Korniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam | - | - |
| 2017 | Formal Introduction to Fuzzy Implications | Grabowski, Adam | - | - |
| 2018 | On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander | Grabowski, Adam; Sawicki, Damian | - | - |
| 2017 | Basel Problem – Preliminaries | Korniłowicz, Artur; Pąk, Karol | - | - |
| 2017 | Basel Problem | Pąk, Karol; Korniłowicz, Artur | - | - |
| 2018 | Basic Diophantine Relations | Acewicz, Marcin; Pąk, Karol | - | - |
| 2018 | An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2017 | The Matiyasevich Theorem. Preliminaries | Pąk, Karol | - | - |
| 2018 | Fundamental Properties of Fuzzy Implications | Grabowski, Adam | - | - |
| 2017 | Vieta’s Formula about the Sum of Roots of Polynomials | Korniłowicz, Artur; Pąk, Karol | - | - |
| 2017 | Wpływ kryzysu finansowego 2007-2009 na strukturę hierarchiczną europejskich rynków kapitałowych | Majewska, Elżbieta | - | - |
| 2017 | Tarski Geometry Axioms. Part III | Coghetto, Roland; Grabowski, Adam | - | - |
| 2017 | Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations | Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur | - | - |
| 2015 | Characteristic of Rings. Prime Fields | Schwarzweller, Christoph; Korniłowicz, Artur | - | - |
| 2018 | Kleene Algebra of Partial Predicates | Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola | - | - |
| 2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |
| 2015 | Flexary Operations | Pąk, Karol | - | - |
| 2015 | Stone Lattices | Grabowski, Adam | - | - |
| 2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
| 2018 | On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2016 | Binary Relations-based Rough Sets – an Automated Approach | Grabowski, Adam | - | - |
| 2012 | Contracting Mapping on Normed Linear Space | Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari | - | - |
| 2019 | Tarski Geometry Axioms. Part IV – Right Angle | Coghetto, Roland; Grabowski, Adam | - | - |
