Talk:Logic for Computer Science

Possible merge
This book is for logic as it relates to computer science. But there is also a book Logic for Computer Scientists. How are these different?  – Mike.lifeguard  | talk 23:33, 7 September 2007 (UTC)


 * I think these two books should be merged. LeoChiukl (discuss • contribs) 17:08, 4 April 2022 (UTC)

Good point. I tried to get in contact for a join but got no answer by now. We ll see.

--Sterling 18:27, 22 September 2007 (UTC)


 * I would plead for Logic for Computer Scientists as the merge target though, cf. manual of style. Logic for Computer Science sounds weird, because logic is kind of inseparable from CS, you don’t have to “add” it. ‑‑Kai Burghardt (discuss • contribs) 16:26, 22 June 2022 (UTC)

Possible source of content
You may be interested in this transwiki. If you have another book in mind where the content may be useful, please leave a note on the relevant talk page. Thanks! – Mike.lifeguard  &#124; talk 04:50, 8 October 2007 (UTC)

What's this book for?
This book seems to cover a lot of things ,without proper order. Can anyone tell me? Visame (talk) 19:50, 3 May 2008 (UTC)