Mathematical introduction to logic
Enderton, H.B
Mathematical introduction to logic H.B Enderton - 2nd Ed. - USA Elsevier 2008 - 1512p.
9788131201916
FIRST-ORDER LOGIC
NUMBER THEORY
RECURSIVE FUNCTION
510.63 / END-M
Mathematical introduction to logic H.B Enderton - 2nd Ed. - USA Elsevier 2008 - 1512p.
9788131201916
FIRST-ORDER LOGIC
NUMBER THEORY
RECURSIVE FUNCTION
510.63 / END-M