2007
Mathematical logic.
Oxford texts in logic 3, Clarendon Press, ISBN: 978-0-19-921562-1, 2007