Enderton, Hobert B

Mathematical introduction to logic - 2nd ed. - New Delhi Academic Press 2006 - xi, 317p p.

511.3 E41M