A First Logic Book door D.P. Chase