Models of peano arithmetic /
Kay, Richard.
Oxford : Clarendon,
1991.
Logic, Symbolic and mathematical.