Logical methods for AI
Twelve chapters, from valid inference to logic and neural networks.
Johannes Korbmacher, with Colin Caret and Rick Nouwen