Ask for recommendations for textbook on mathematical logic - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T01:35:06Z http://mathoverflow.net/feeds/question/61814 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic Ask for recommendations for textbook on mathematical logic zzzhhh 2011-04-15T12:54:05Z 2011-04-16T04:36:19Z <p>I studied mathematical logic using a book not written in English. I would now like to study it again using a textbook in English. But I hope I can read a text that is similar to the one I used before, so I ask here for recommendations. Any recommendation will be appreciated. The characters of the mathematical logic book I used before is as follows:</p> <p>1, Formal.</p> <p>Everything is formal, introduced from very beginning, such as (I'm not clear if my expression is correct in English, that's why I need an English book to remedy this deficiency) basic bricks of mathematical logic (symbol, formulas, predicate word, logic word, constrained variable, etc.), the formation rules of propositional/predicate logic (how well-formed formula is constructed recursively), differnt systems of propositional/predicate logic such as P, P*. F, F* and their relation, formal reasoning rules in these systems(e.g., in P, there are five formal reasoning rules: $(\in),(\tau),(\neg),(\to_-) and (\to_+)$).</p> <p>2, comprehensive</p> <p>In addition to the conceptions in 1, It introduces also Sheffer vertical, function word and equality word. calculus of propositional/predicate logic including replacement of equal formula, the replacement theorem, normal forms, Skolem normal forms, Gentzen normal forms, non-embedding normal forms, reduction of logic calculus. Reliability. Assignment. Completeness of propositional/predicate (with equality word) logic. Compactness theorem and Lowenheim-Skolem theorem. Independency.</p> <p>3, many examples</p> <p>in this book, there are many examples of calculus of propositional/predicate logic using the formal reasoning rules of a specified system. It also introduces actual formal mathematical systems such as elementary algebra, natural numbers, definition of formal symbols, etc. It used a "diagonal" form of proof to prove things.</p> <p>I hope to have a book in English similar to this one, that is, possesses these charactors. Could you please recommendate one? It would be better if the recommendated textbook can also contain some motivations and some modern things(the book I read was written 30 years ago). Thanks!</p> http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic/61825#61825 Answer by Thomas Connor for Ask for recommendations for textbook on mathematical logic Thomas Connor 2011-04-15T15:01:03Z 2011-04-15T15:01:03Z <p>I would suggest "A concise introduction to mathematical logic" by Rautenberg, Wolfgang. See Springer website at <a href="http://www.springer.com/mathematics/book/978-1-4419-1220-6" rel="nofollow">http://www.springer.com/mathematics/book/978-1-4419-1220-6</a> . I think it satisfies most of your requirements.</p> http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic/61850#61850 Answer by Lucas K. for Ask for recommendations for textbook on mathematical logic Lucas K. 2011-04-15T18:25:27Z 2011-04-15T18:25:27Z <p>For really learning how to do mathematics in a formal logic, I suggest to look at one of the theorem provers and read their manual or tutorial. For instance, you can take a look at HOL-light.</p> <p>My experience is that books about logic, fall short if it comes to the art of really doing mathematics in logic. You asked about examples. If you take a book about logic, you will probably not find an example of a proof of a well known theorem in a formal logic. However, you will find it in the manuals of the theorem provers.</p> <p>For me, some things got a place, when I studied HOL-light.</p> <p>Regards,</p> <p>Lucas </p> http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic/61851#61851 Answer by B. for Ask for recommendations for textbook on mathematical logic B. 2011-04-15T18:31:39Z 2011-04-15T18:31:39Z <p>I suggest "A Course in Mathematical Logic for Mathematicians" : <a href="http://www.amazon.com/Course-Mathematical-Mathematicians-Graduate-Mathematics/dp/1441906142/ref=sr_1_1?s=books&amp;ie=UTF8&amp;qid=1302892207&amp;sr=1-1" rel="nofollow">http://www.amazon.com/Course-Mathematical-Mathematicians-Graduate-Mathematics/dp/1441906142/ref=sr_1_1?s=books&amp;ie=UTF8&amp;qid=1302892207&amp;sr=1-1</a></p> http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic/61856#61856 Answer by Buschi Sergio for Ask for recommendations for textbook on mathematical logic Buschi Sergio 2011-04-15T18:58:43Z 2011-04-15T18:58:43Z <p>The Better introduction I know is P. Johnstone "Notes on Logic and Set Theory" (Cambridge Mathematical Textbooks)</p> http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic/61875#61875 Answer by Michael Hardy for Ask for recommendations for textbook on mathematical logic Michael Hardy 2011-04-15T22:50:45Z 2011-04-15T22:50:45Z <p>Boolos and Jeffrey's book <em>Computability and Logic</em> may be of interest. In some respects its aim is breadth rather than depth. For example, the chapter on forcing does just enough to prove one interesting theorem (in arithmetic, not in set theory), and similar things are true of other topics. It seems to be addressed to mathematicians who don't know the topic and who want to find out what is of interest in the subject, not to people who want to learn all the skills needed to work in that area.</p> http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic/61887#61887 Answer by Manuel Rivera for Ask for recommendations for textbook on mathematical logic Manuel Rivera 2011-04-16T02:11:58Z 2011-04-16T02:11:58Z <p>I was going to recommend the English translation of the two volume sequence by Cori and Lascar. But after reading again your message it is highly possible that this is the text you used. I really like these two introductory books. </p> http://mathoverflow.net/questions/61814/ask-for-recommendations-for-textbook-on-mathematical-logic/61893#61893 Answer by AlB for Ask for recommendations for textbook on mathematical logic AlB 2011-04-16T04:36:19Z 2011-04-16T04:36:19Z <p>Maybe it's not exactly what you had in mind (well, it was written about 30 years ago as well), but a nice book too.</p> <blockquote> <p>H.D. Ebbinghaus, J. Flum, W. Thomas, Mathematical logic (Undergraduate texts in mathematics). Springer, 1984. <a href="http://books.google.com/books?id=VYLA8m7cqYcC" rel="nofollow">http://books.google.com/books?id=VYLA8m7cqYcC</a></p> </blockquote>