Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
14-lis-2019 | Wpływ umów wertykalnych na zjawisko konkurencji | Borżoł, Krzysztof | Malarewicz-Jakubów, Agnieszka; Tanajewska, Renata (promotor pomocniczy) | - |
21-lis-2019 | Bilateralna współpraca transgraniczna Białegostoku i Grodna. Wybrane aspekty prawne | Musiał, Włodzimierz Jan | Perkowski, Maciej; Olechno, Artur (promotor pomocniczy) | - |
7-lis-2019 | Ignacy Koschembahr- Łyskowski polski romanista przełomu XIX i XX wieku | Vesper, Ewa Maria | Niczyporuk, Piotr; Kołodko, Piotr (promotor pomocniczy) | - |
4-lis-2019 | Modele gospodarki rynkowej a tworzenie dobrobytu | Chmielak, Bogusław Adam | Przygodzka, Renata | - |
25-lis-2019 | Czynniki różnicujące status mieszkaniowy gospodarstw domowych w Polsce | Matel, Anna | Kiełczewski, Dariusz; Poskrobko, Tomasz (promotor pomocniczy) | - |
2019 | Posłanki na Sejm PRL II kadencji (1957–1961). Cechy socjopolityczne i aktywność poselska | Chrobaczyńska-Plucińska, Edyta | - | - |
2019 | Obraz wyborów do Sejmu Polskiej Rzeczypospolitej Ludowej w 1957 r. w publicystyce „Kobiety i Życia” | Jędrzejski, Łukasz | - | - |
2019 | Transformacja ruchów kobiecych w Polsce (1945–1956) | Grabowska, Magdalena | - | - |
2019 | Agitacja polityczna kobiet na łamach prasy ruchu ludowego w latach 1931–1939 | Podgajna, Ewelina | - | - |
2019 | Międzynarodowy Rok Kobiet 1975 na łamach „Kobiety i Życia” | Sokołowska, Urszula | - | - |
5-lis-2019 | Pełnomocnik na gruncie przepisów prawa podatkowego – istota, pozycja prawna i zakres odpowiedzialności | Charkiewicz, Mariusz | Popławski, Mariusz; Pietrasz, Piotr (promotor pomocniczy) | - |
2019 | Litewskie siostry Zofia i Jadwiga Chodakowskie (Sofija Smetonienė and Jadvyga Tūbelienė) | Buchowski, Krzysztof | - | - |
2019 | Amerykanki i kwestia kobieca na łamach „Tygodnika Mód i Powieści” w latach 1860–1915 | Stocka, Anna | - | - |
2019 | Determinanty szans wyborczych i aktywności parlamentarnej kobiet w III RP. Analiza dyskursu w „Gazecie Wyborczej” | Mikołajczyk, Magdalena | - | - |
2019 | Polska Kronika Filmowa (1944–1994). Obrazy komunikowania politycznego, ss. 385 | Jędrzejski, Łukasz | - | - |
2019 | Magdalena Grabowska, Zerwana genealogia. Działalność społeczna i polityczna kobiet po 1945 roku a współczesny polski ruch kobiecy, (Warszawa : Wydawnictwo Naukowe Scholar, 2018), ss. 322, ISBN 978-83-7383-931-1 | Marcinkiewicz-Kaczmarczyk, Anna | - | - |
2019 | Instytut Studiów Kobiecych i jego działalność w zakresie badań naukowych historii kobiet i ich upowszechniania (2017–2019) | Siedlecki, Marcin | - | - |
2017 | Pell’s Equation | Acewicz, Marcin; Pąk, Karol | - | - |
2019 | Partial Correctness of a Power Algorithm | Jaszczak, Adrian | - | - |
2018 | On Algebras of Algorithms and Specifications over Uninterpreted Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | Partial Correctness of GCD Algorithm | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2015 | Euler’s Partition Theorem | Pąk, Karol | - | - |
2017 | Differentiability of Polynomials over Reals | Korniłowicz, Artur | - | - |
2017 | Basic Formal Properties of Triangular Norms and Conorms | Grabowski, Adam | - | - |
2016 | Some Algebraic Properties of Polynomial Rings | Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka | - | - |
2016 | Niven’s Theorem | Korniłowicz, Artur; Naumowicz, Adam | - | - |
2016 | Leibniz Series for π | Pąk, Karol | - | - |
2014 | Brouwer Invariance of Domain Theorem | Pąk, Karol | - | - |
2017 | Introduction to Liouville Numbers | Grabowski, Adam; Korniłowicz, Artur | - | - |
2014 | Tietze Extension Theorem for n-dimensional Spaces | Pąk, Karol | - | - |
2018 | Sequences of Prime Reciprocals. Preliminaries | Grabowski, Adam | - | - |
2014 | Definition of Flat Poset and Existence Theorems for Recursive Call | Ishida, Kazuhisa; Shidama, Yasunari; Grabowski, Adam | - | - |
2014 | Topological Interpretation of Rough Sets | Grabowski, Adam | - | - |
2014 | Cauchy Mean Theorem | Grabowski, Adam | - | - |
2013 | Prime Filters and Ideals in Distributive Lattices | Grabowski, Adam | - | - |
2014 | Pseudo-Canonical Formulae are Classical | Caminati, Marco B.; Korniłowicz, Artur | - | - |
2013 | Coproducts in Categories without Uniqueness of cod and dom | Goliński, Maciej; Korniłowicz, Artur | - | - |
2016 | Tarski Geometry Axioms – Part II | Coghetto, Roland; Grabowski, Adam | - | - |
2018 | Formalizing Two Generalized Approximation Operators | Grabowski, Adam; Sielwiesiuk, Michał | - | - |
2014 | Formalization of Generalized Almost Distributive Lattices | Grabowski, Adam | - | - |
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 | - | - |