Search results for: Mariusz Giero
Formalized Mathematics > 2016 > 24 > 4 > 281-290
Formalized Mathematics > 2015 > 23 > 4 > 379-386
Formalized Mathematics > 2014 > 22 > 1 > 29-35
Formalized Mathematics > 2012 > 20 > 3 > 215-219
Formalized Mathematics > 2012 > 20 > 3 > 221-226
Formalized Mathematics > 2012 > 20 > 3 > 227-234
Formalized Mathematics > 2011 > 19 > 2 > 113-119
Studies in Logic, Grammar and Rhetoric > 2009 > 17(30) > 213-223
Studies in Logic, Grammar and Rhetoric > 2007 > 11(24) > 85-93