ÿþ<?xml version="1.0" encoding="utf-16"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <title> Edgar R. Chavez .. Mathematical Logic </title> <link rel="stylesheet" href="../erc01.css" type="text/css" /> </head> <body> <div id="top"> <img class="quill" src="../Images/myquill5.png" alt="myQuill"></img> <h2> Edgar R. Ch&aacute;vez</h2> <h3> Mathematical Logic </h3> </div> <div class="NavigationLinks"> <hr class="myLine" /> <ul> <li><a href="../home.html"> Home </a></li> <li><a href="./mathematics.html"> Mathematics </a></li> </ul> <hr class="myLine" /> <ul> <li><a href="./mathlogic.html"> Mathematical Logic </a></li> </ul> <ul class="NavMargin1"> <li><a href="#software"> Software </a></li> <li><a href="#textbooks"> Textbooks </a></li> </ul> <hr class="myLine" /> </div> <div class="InfoArea"> <div id="mathlogic"><span class="Subhead2"> Mathematical Logic </span> <div class="Tab5"> <p><a href="http://www-math.mit.edu/~tchow/forcing.pdf"> A Beginner's Guide to Forcing </a> by Timothy Y. Chou, MIT <br /> See also <a href="http://www-math.mit.edu/~tchow/mathstuff/forcingdum"> Forcing for Dummies </a></p> <p><a href="../comp/cs.html#lambda"> Lambda Calculus </a></p> <p><a href="http://euclid.trentu.ca/math/sb/pcml/welcome.html"> A Problem Course in Mathematical Logic </a> &nbsp; An introduction to mathematical logic for undergraduates with some mathematical sophistication. </p> <p><a href="http://www-math.mit.edu/~kessler/teaching/intro/groupnotes.html"> Introduction to Mathematical Logic and Set Theory </a> &nbsp; Lecture Notes, MIT, 2008 </p> <p><a href="http://www.wepapers.com/Papers/54576/Lecture_Notes_on_Mathematical_Logic"> Lecture Notes on Mathematical Logic </a> &nbsp; Vladimir Lifschitz. Consice; good set of exercises. Can be downloaded for free in PDF format if you have a Facebook account! </p> <p><a href="http://www.math.psu.edu/simpson/papers/philmath/"> Logic and Mathematics </a> &nbsp; Stephen G. Simpson, Pennsylvania State University. An overview of logic and the philosophy of mathematics, intended for the general reader. </p> <p><a href="http://www.math.niu.edu/~rusin/known-math/index/03-XX.html"> Mathematical Logic and foundations </a> &nbsp; from <a href="http://www.math.niu.edu/~rusin/known-math/index/"> The Mathematical Atlas. </a> Good introduction, bibliography, and links. </p> <p><a href="http://plato.stanford.edu/entries/pm-notation/#3"> The Notation in <i>Principia Mathematica</i> </a> &nbsp; Includes an explanation of the dot notation used by Alonzo Church, W.V.O.Quine, and others. </p> <p><a href="http://people.umass.edu/klement/513/"> Phil 513: Mathematical Logic I </a> &nbsp; Kevin C. Klement, University of Massachusetts Amherst. </p> <p><a href="http://en.wikipedia.org/wiki/Table_of_logic_symbols"> Table of Logic symbols </a> &nbsp; See also <a href="http://en.wikipedia.org/wiki/Table_of_mathematical_symbols"> Table of Mathematical symbols</a></p> </div></div> <div id="software"><span class="Subhead2"> Software - Mathematical Logic </span> <div class="Tab5"> <p><a href="http://us.metamath.org/"> Metamath </a> &nbsp; <img src="../Images/stars4.gif" alt="Rank4" /> &nbsp; &nbsp; Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. This site has a collection of web pages generated from those proofs and lets you see mathematics developed formally from first principles with absolute rigor. There is even a proof-checker that separates real proofs from those containing errors, however subtle. Not for the faint-hearted. Multiple download options. </p> <p><a href="http://ggww2.stanford.edu/GUS/openproof/"> The Openproof Project </a> &nbsp; Center for the Study of Language and Information, Stanford University. Innovative and effective software for logic education. </p> <p><a href="http://www.cs.unm.edu/~mccune/prover9/"> Prover9 </a> &nbsp; Automated theorem prover for first-order and equational logic. </p> </div></div> <div id="textbooks"><span class="Subhead2"> Textbooks </span> <div class="Tab5"> <p><a href="http://euclid.trentu.ca/math/sb/pcml/"> A Problem Course in Mathematical Logic </a> &nbsp; Stefan Bilaniuk, Trent University, Ontario, Canada </p> <p><a href="http://www.cis.upenn.edu/~jean/gbooks/logic.html"> Logic for Computer Science: Foundations of Automatic Theorem Proving </a> &nbsp; By Jean Gallier. Originally published by John Wiley and Sons, 1986. Free online copy. </p> <p><a href="http://onlinebooks.library.upenn.edu/webbin/book/browse?type=lcsubc&amp;key=Logic"> Logic </a> &nbsp; Search at <i> The Online Books Page </i></p> <p><a href="http://www.math.psu.edu/simpson/courses/math557/logic.pdf"> Mathematical Logic </a> &nbsp; Stephen G. Simpson, Pennsylvania State University </p> </div></div> <div class="Quote1"> <hr class="myLine" /> Logic is like the sword -- those who appeal to it shall perish by it. <br />-- Samuel Butler <hr class="myLine" /> </div> </div> <div class="MyCopyright"> <hr class="myLine" /> Copyright &copy; 2003-2011 by Edgar R. Ch&aacute;vez. All rights reserved. <hr class="myLine" /> </div> </body> </html>