Ch1.1
The Situation Calculus and the Frame Problem Using Theorem Proving to Generate Plans.
Foundations of Logic Mathematical Logic is a tool for working with elaborate compound statements. It includes: A formal language for expressing them.