What has the author Christopher C Leary written?

Christopher C. Leary has written:

'A friendly introduction to mathematical logic' -- subject(s): Computer logic, Logic, Symbolic and mathematical, Symbolic and mathematical Logic