Mathematical introduction to logic /
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
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