@Book{Sid10, Author = "Sider, T.", Year = "2010", Title = "{Logic for Philosophy}", Publisher = "Oxford University Press", Comment = "TPTPRef" }