@Book{Hac66, Author = "Hackstaff, L.", Year = "1966", Title = "{Systems of Formal Logic}", Publisher = "Reidel Publishing", Comment = "TPTPRef" }