Are you looking for books mathematical logic or philosophical logic?