bibliographic details : A CONCISE INTRODUCTION TO LOGIC /