%0 Journal Article %A Krynicki, MichaƂ %A Zdanowski, Konrad %D 2005 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 1 %P 1-28 %T Theories of arithmetics in finite models %V 70