An introduction to the basic concepts and techniques of logical analysis.