Logic 0
An Intuitive, Practical Introduction to Zeroth-Order Logic