Better overview of logic besides first order logic, more thorough history, the technical reference should be split out. CMummert - 5 Oct 2006