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

מ
הוספת תבנית:בריטניקה בקישורים חיצוניים (תג)
מ (←‏פתיח: תיקון קישור)
מ (הוספת תבנית:בריטניקה בקישורים חיצוניים (תג))
* [[אילון סולן]], [https://exact-sciences.tau.ac.il/sites/exactsci.tau.ac.il/files/media_server/mathematics/פרויקט%20כדאי%20לדעת/Introduction%20to%20logic2%206.9.17.pdf מבוא ללוגיקה מתמטית], מיזם "כדאי לדעת" של [[אוניברסיטת תל אביב]]
* [http://us2.metamath.org:88/mpegif/mmset.html Metamath Proof Explorer]: מאגר של משפטים מתמטיים עם הוכחות מלאות בעזרת לוגיקה מתמטית.
* {{בריטניקה}}
{{מדעי המחשב}}
[[קטגוריה:לוגיקה]]