ENDERTON(Herbert B)

A mathematical introduction to logic - Academic Press 1972 - xiii p. + 295