Models of peano arithemetic - Kaye Richard (Oxford Clarendon Press, 1991)
Keywords: Arithmatic foundation; Mathematical logic; Model theory