TY - JOUR AU - Krynicki, MichaƂ AU - Zdanowski, Konrad IS - 1 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 2005 TI - Theories of arithmetics in finite models VL - 70 ER -