TY  - BOOK
AU  - Kaye, Richard
PY  - 1991
DA  - 1991//
TI  - Models of Peano arithmetic
T3  - Oxford logic guides 15
PB  - Clarendon Pr.
CY  - Oxford [u.a.]
KW  - Arithmetic
KW  - Foundations
KW  - Model theory
SN  - 019853213X
LA  - English
N1  - Richard Kaye
ID  - 1651615314
ER  -