First-Order Logic

This textbook covers both theory and hands-on exercises in equal measure.