>>164
Elliott Mendelson INTRO..MATHEMATICAL LOGIC