Foundation of mathematical logic - Curry H B (London McGraw-Hill, 1963)
Keywords: Mathematical analysis; Mathematical logic