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.
 A: I'm assuming this is the Indian State test Graduate Aptitude Test in Engineering 2014 for Computer Science and Information Technology. 
It is, frankly, quite unprofessional for the organising body to give as the syllabus "Mathematical Logic: Propositional Logic; First Order Logic". That gives no idea at all about how far you need to go. 
Googling a past paper out of curiosity is a somewhat depressing experience. But the questions are brief multiple choice questions, and it seems you only need to know some basics (e.g. what a truth-truth table is, how to use the language of first-order logic). So any available text covering elementary logic should do -- especially, I suppose, if has a computer science slant. Read to the point where you can answer any question in papers for the last few years. (And if you possibly can, look at a few other texts briefly, to alert yourself to variations in notation and terminology -- as the questions set are unhelpful in this regard.)
For freely available online material, I'd mention Paul Teller's A Modern Formal Logic Primer as being particularly helpful to beginners on the translation of ordinary language in and out of the language of FOL.
