TY  - BOOK
AU  - Kaye, Richard,
TI  - Models of peano arithmetic
T2  - Oxford logic guides
SN  - 019853213x
AV  - QA248 K39
PY  - 1991///
CY  - Oxford
PB  - Clarendon Press
KW  - Aritmética
KW  - Fundamentos
KW  - Teoría de modelos
ER  -