Good and easy mathematical logic book for computer science

[Byeonggon Lee]

Hello I recently noticed that mathematical logic is related to computer science.
I haven't studied math in university yet I'm not good at math and Since I'm not a native English speaker some English is hard to me.
Is there any good and easy book which describes mathematical logic used in computer science?

 

[Greg Bernhardt]

Try this
https://www.amazon.com/dp/0486497852/?tag=pfamazon01-20

 

[Mark44]

Very little mathematical logic is used in computer science, in my experience. The logical operators that are most common are these:
Not - logical negation of a boolean expression
And - expr₁ "and" expr₂ is true if and only if both subexpressions are true
Or - expr₁ "or" expr₂ is true if expr₁ is true, or if expr₂ is true, or if both are true
Xor (AKA exclusive or) - expr₁ "xor" expr₂ is true if the two subexpressions have opposite truth values

Most programming languages have these concepts, but they use different symbols. For example, C and the languages based on C use ~ for NOT, && for logical AND, || for logical OR, and ^ for exclusive OR. Newer versions of Fortran use .NOT., .AND., .OR. I don't believe Fortran has an exclusive or operator, per se, but its .NEQV. operator works similarly.

 

[Byeonggon Lee]

Try this
https://www.amazon.com/dp/0486497852/?tag=pfamazon01-20

Thanks, I'll try it