A Mathematical introduction to logic
Enderton, Herbert B.
A Mathematical introduction to logic Herbert B. Enderton. - 2nd ed.. - New Delhi Elsevier c2001. - xii, 317p.; 23cm.
8131201910
Logic, Symbolic and Mathematical; Set theory; Constructive mathematics.
511.3 / E74M
A Mathematical introduction to logic Herbert B. Enderton. - 2nd ed.. - New Delhi Elsevier c2001. - xii, 317p.; 23cm.
8131201910
Logic, Symbolic and Mathematical; Set theory; Constructive mathematics.
511.3 / E74M