Huvudgrupp 1

• Russell, Stuart Jonathan; Norvig, Peter, Artificial intelligence: a modern approach, Fourth edition., Hoboken, NJ, Pearson, [2021]
• Goranko, Valentin, Logic as a tool: a guide to formal logical reasoning, 1. uppl., Chichester, West Sussex, Wiley, 2016