Beginning Mathematical Logic A Study Guide