bibliographic details : THE ELEMENTS OF LOGIC /