A concise introduction to logic hurley