A concise introduction to logic by Patrick J. Hurley