Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul