@Article{Boo87, Author = "Boolos, G.", Year = "1987", Title = "{A Curious Inference}", Journal = "Journal of Philosophical Logic", Volume = "16", Pages = "1-12", Comment = "TPTPRef" }