All Liouville Numbers are Transcendental
Korniłowicz, Artur, Naumowicz, Adam, Grabowski, Adam
Formal Development of Rough Inclusion Functions
Grabowski, Adam
Tarski Geometry Axioms. Part III
Coghetto, Roland, Grabowski, Adam
On the Permanent of a Matrix
Romanowicz, Ewa, Grabowski, Adam
Formalizing Two Generalized Approximation Operators
Grabowski, Adam, Sielwiesiuk, Michał
Polygonal Numbers
Grabowski, Adam
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
Preface
Grabowski, Adam, Shidama, Yasunari
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
Grabowski, Adam, Sawicki, Damian
Two Axiomatizations of Nelson Algebras
Grabowski, Adam
Formalization of Generalized Almost Distributive Lattices
Grabowski, Adam
Elementary Number Theory Problems. Part XVIII
Grabowski, Adam