Logic : from foundations to applications : European logic colloquium /
Hodges, Wilfrid,1941-
Oxford : Clarendon Press,
1996.
Logic, Symbolic and mathematical