%0 Book %T Models of Peano arithmetic %A Kaye, Richard %S Oxford logic guides 15 %D 1991 %I Clarendon Pr. %C Oxford [u.a.] %@ 019853213X %G English %F 1651615314 %O Richard Kaye %O Literaturverz. S. 276 - 284 %L SK 130 %K Arithmetic %K Foundations %K Model theory %9 Text