Enderton, Herbert B.

Mathematical introduction to logic / By Herbert B Enderton. - 2nd ed. - New Delhi : Academic Press , 2006. - xii,317p. ; PB 23.2 cm

9788131201916


Sentential logic
First order logic
Undecidability

511.3 / ENDH