Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam
Tarski Geometry Axioms. Part V – Half-planes and Planes
Coghetto, Roland, Grabowski, Adam
Formalization of Trellises and Tolerance Relations
Grabowski, Adam, Turowski, Franciszek
The Formal Construction of Fuzzy Numbers
Grabowski, Adam
Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression
Grabowski, Adam
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Grabowski, Adam
On Square-Free Numbers
Grabowski, Adam
Tarski Geometry Axioms – Part II
Coghetto, Roland, Grabowski, Adam
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse
Prime Filters and Ideals in Distributive Lattices
Grabowski, Adam
Topological Interpretation of Rough Sets
Grabowski, Adam