Talk:Logic for Computer Scientists/Introduction

This page seems to be heavily influenced by a non-English language. The content is good but the grammar awkward. I'll try to sort out the obvious points (adverbs and multiples in unusual places) but someone with a good knowledge of the fine points of English would be a great help.

no bibliographic section
lack of bibliographic section at the end of introduction chapter. I need some material about logic history. it would be more complete if anybody could add some reference