3:16 AM
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

12 hours later…
3:22 PM
I want to get a clear picture of logic. Which books shall I read?
formal logic, intermediate or advanced level
What do you think of Mathematical Logic for Computer Science. by Mordechai Ben-Ari?
either for math or for CS

@Tim Do you have undergraduate mathematics background?

What you should read depends on what you know.

The book that I mentioned is helping to solve one of my confusions: Hilbert deduction, natural deduction, ... Some books only adopt one way, and leave me confused about the others.
I am also wondering: What is the relation betw computability ( or recursion theory) and logic? Why some logic books have that part, despite the two seem unrelated:
I don't see logic is used in study of recursion or computability
I don't see recursion or computability is used in study of logic

@Tim Eh? Then I'll have to assume you are a beginner, in which case this is the wrong chat-room.

3:30 PM
So What is the relation betw computability ( or recursion theory) and logic?

The first step in learning logic is not to attempt to learn a formal treatment of logic.
You must first learn to use a deductive system for FOL. Do you know one?

Yes, I am learning formal logic

1 min ago, by user21820
You must first learn to use a deductive system for FOL. Do you know one?

Yes, I know a little
What is the relation betw computability ( or recursion theory) and logic?