לוגיקה מתמטית – הבדלי גרסאות

* ''[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf A Problem Course in Mathematical Logic]'' חוברת מקיפה למבואות נושא הלוגיקה המתמטית ובהקשר ל[[חישוביות]], מאת סטיבן בילאניוק מ[[אוניברסיטת טרנט]], [[קנדה]]. מפורסם תחת רישיון [[הרישיון לשימוש חופשי במסמכים של גנו|GFDL]].

* ''[http://www.cs.biu.ac.il/~tsaban/Pdf/logicintro.pdf מבוא ללוגיקה מתמטית]'' חובר על ידי בועז צבאן מהמחלקה למתמטיקה, [[אוניברסיטת בר-אילן]], הספר מכיל רקע ותרגילים לנושא תחשיב הפסוקים ולוגיקה מסדר ראשון. נכתב במקור על פי מערכי שיעורים של [[פרופסור]] חיים יהודה.

 

[[קטגוריה:לוגיקה]]