Mathematical introduction to logic - Enderton, H.B (USA Elsevier, 2008)
Keywords: FIRST-ORDER LOGIC; NUMBER THEORY; RECURSIVE FUNCTION