TY  - DATA
AU  - Craig Smorynski
TI  - Logical Number Theory I
SN  - 9783642754623
PY  - 1991///
PB  - Springer Berlin Heidelberg
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-3-642-75462-3
ER  -