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

הוסר בית אחד ,  לפני 4 שנים
מ
סדר תבניות בסוף הערך (בוט סדר הפרקים)
מ (שוחזר מעריכות של 213.151.39.203 (שיחה) לעריכה האחרונה של EranBot)
מ (סדר תבניות בסוף הערך (בוט סדר הפרקים))
* [http://us2.metamath.org:88/mpegif/mmset.html Metamath Proof Explorer]: מאגר של משפטים מתמטיים עם הוכחות מלאות בעזרת לוגיקה מתמטית.
 
{{מדעי המחשב}}
[[קטגוריה:לוגיקה]]
[[קטגוריה:לוגיקה מתמטית|*]]
 
{{מדעי המחשב}}