לוגיקה מתמטית: הבדלים בין גרסאות

מ (הוספת {{תב|ויקישיתוף בשורה}} בקישורים חיצוניים במידה וחסר (תג) (דיון))
* סטיבן בילאניוק, [http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf A Problem Course in Mathematical Logic], [[אוניברסיטת טרנט]], [[קנדה]].
* בועז צבאן, [http://www.cs.biu.ac.il/~tsaban/Pdf/logicintro.pdf מבוא ללוגיקה מתמטית], המחלקה למתמטיקה, [[אוניברסיטת בר-אילן]], הספר מכיל רקע ותרגילים לנושא תחשיב הפסוקים ולוגיקה מסדר ראשון. נכתב במקור על פי מערכי שיעורים של [[פרופסור]] חיים יהודה.
* [[אילון סולן]], [מבוא ללוגיקה מתמטית], מיזם "כדאי לדעת" של [[אוניברסיטת תל אביב]]
* [http://us2.metamath.org:88/mpegif/mmset.html Metamath Proof Explorer]: מאגר של משפטים מתמטיים עם הוכחות מלאות בעזרת לוגיקה מתמטית.