bibliographic details : A concise introduction to logic /