Mon premier blog

A Mathematical Introduction to Logic Herbert B. Enderton, Herbert Enderton
Publisher: Academic Press

Research in mathematical logic has contributed to, and been motivated by, the study of foundations of mathematics, but mathematical logic also contains areas of pure mathematics not directly related to foundational questions. San Diego: Harcourt/Academic Press, 2001. Also, you might find Harrison's Handbook of Practical Logic and Automated Reasoning interesting. کتاب A Mathematical Introduction to Logic نوشته هربرت بی . A Mathematical Introduction to Logic. On the whole it does a very good job of introducing the technicalities of mathematical logic. I recommend Herbert Enderton's A Mathematical Introduction to Logic. This quarter, I am TAing PHIL 151 First-Order Logic here at Stanford. Readers who are unfamiliar with these ideas could, I think, really become hooked. The book is taught out of Enderton's A Mathematical Introduction to Logic. One unifying theme in mathematical logic is the study of the expressive power of formal .