Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach.

Data wydania	Tytuł	Autor(rzy)	Promotor	Redaktor(rzy)
2015	Flexary Operations	Pąk, Karol	-	-
2014	The Formal Construction of Fuzzy Numbers	Grabowski, Adam	-	-
2014	The First Isomorphism Theorem and Other Properties of Rings	Korniłowicz, Artur; Schwarzweller, Christoph	-	-
2014	Formalization of Generalized Almost Distributive Lattices	Grabowski, Adam	-	-
2014	Topological Manifolds	Pąk, Karol	-	-
2014	Tarski Geometry Axioms	Richter, William; Grabowski, Adam; Alama, Jesse	-	-
2014	A Note on the Seven Bridges of Königsberg Problem	Naumowicz, Adam	-	-
2014	Bertrand’s Ballot Theorem	Pąk, Karol	-	-
2014	Cauchy Mean Theorem	Grabowski, Adam	-	-
2014	Pseudo-Canonical Formulae are Classical	Caminati, Marco B.; Korniłowicz, Artur	-	-
2014	Topological Interpretation of Rough Sets	Grabowski, Adam	-	-
2014	Brouwer Invariance of Domain Theorem	Pąk, Karol	-	-
2014	Tietze Extension Theorem for n-dimensional Spaces	Pąk, Karol	-	-
2014	Definition of Flat Poset and Existence Theorems for Recursive Call	Ishida, Kazuhisa; Shidama, Yasunari; Grabowski, Adam	-	-
2013	Coproducts in Categories without Uniqueness of cod and dom	Goliński, Maciej; Korniłowicz, Artur	-	-
2013	Prime Filters and Ideals in Distributive Lattices	Grabowski, Adam	-	-
2013	Introduction to Formal Preference Spaces	Niewiadomska, Eliza; Grabowski, Adam	-	-
2013	Commutativeness of Fundamental Groups of Topological Groups	Korniłowicz, Artur	-	-
2013	On Square-Free Numbers	Grabowski, Adam	-	-
2013	Polygonal Numbers	Grabowski, Adam	-	-