0
votes
1answer
29 views

Readings on more general/abstract notions of induction related to logic

Can someone suggest references to understand the more general/abstract concept of induction? Specifically, I am trying to justify to myself what is called induction on the "complexity of a ...
1
vote
2answers
38 views

Method of verifying answers

I have been reading Velleman's How to prove it book and solving problems of the exercise in it. What concerns me is that I cannot verify if actually my solutions are correct. The book has only ...
6
votes
5answers
197 views

The deep structure of logical formulas

A long-standing question to which I never found a concise answer is: Is there something like an unambiguous deep structure of a formula of propositional logic, opposed to its comparingly ...
0
votes
1answer
1k views

Mathematical Logic: Propositional Logic; First Order Logic.

I need good book of Mathematical Logic for gate 2014 exam. GATE syllabus is "Mathematical Logic: Propositional Logic; First Order Logic". Thank you.
4
votes
2answers
280 views

a good text for a first course in mathematical logic

in last two months , i asked many people about good text for first mathematical logic . after that a chose some text , first order mathematical logic , angelo magrais , it is ok but the text uses ...
1
vote
2answers
185 views

Natural and formal languages

I'm going to have to take the course Logic for Computer Science at some point and everyone says both the book and the lectures are horrible. I'm looking for a book that covers the course material in ...
1
vote
1answer
140 views

Appropriate book for propositional logic

I am not looking for a good book but an appropriate book that is suitable for my logic course. Currently the professor only offers lectures. (Not sure why, perhaps there is no universal approach to ...