Text this: Logical Foundations of Artificial Intelligence