Learning Logic 6.0 for Hurley's A Concise Introduction to Logic