TY - BOOK AU - Smorynski Craig TI - Logical number theory 1: an introduction U1 - 512.7 PY - 1991/// CY - Berlin PB - Springer Verlag KW - Number theory ER -