Search results
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 39--92
Archive for Mathematical Logic > 2019 > 58 > 1-2 > 119-136
Logic and Logical Philosophy > 2014 > 23 > 3 > 329–363
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1400-1430
Lithuanian Mathematical Journal > 2005 > 45 > 2 > 217-224
Lithuanian Mathematical Journal > 2004 > 44 > 3 > 244-250
Lithuanian Mathematical Journal > 2003 > 43 > 2 > 199-209