A friendly introduction to mathematical logic - Leary, Christopher C., 1957- (Prentice-Hall, 2000)