Machine Intelligence 12: Towards an Automated Logic of Human Thought - Hayes (Oxford University PressOxford University Press, 2023)