Search results
Bulletin of the Section of Logic > 2021 > 50 > 1 > 81-96
Open Mathematics > 2017 > 15 > 1 > 354-364
Formalized Mathematics > 2016 > 24 > 3 > 173-186
Formalized Mathematics > 2015 > 23 > 4 > 289-296
Formalized Mathematics > 2015 > 23 > 3 > 189-203
Discussiones Mathematicae - General Algebra and Applications > 2015 > 35 > 2 > 177-193
Open Mathematics > 2015 > 13 > 1
Open Mathematics > 2014 > 12 > 7 > 991-999
Open Mathematics > 2014 > 12 > 6 > 896-910
Discussiones Mathematicae - General Algebra and Applications > 2014 > 34 > 2 > 213-219
Open Mathematics > 2011 > 9 > 6 > 1298-1311
Open Mathematics > 2010 > 8 > 4 > 688-705
Discussiones Mathematicae - General Algebra and Applications > 2010 > 30 > 2 > 207-215
Discussiones Mathematicae - General Algebra and Applications > 2010 > 30 > 2 > 193-205
Open Mathematics > 2007 > 5 > 2 > 264-279
Fundamenta Mathematicae > 1994-1995 > 146 > 3 > 283-293