bibliographic details : INSTRUCTOR`S MANUAL A CONCISE INTRODUCTION TO LOGI