- 14:0914:09, 17 במאי 2013
הבדל היסטוריה +27
פסוק (לוגיקה)
- 14:0914:09, 17 במאי 2013
הבדל היסטוריה −399
תחשיב הפרדיקטים
- 13:4013:40, 17 במאי 2013
הבדל היסטוריה +26
פסוק (לוגיקה)
- 13:3813:38, 17 במאי 2013
הבדל היסטוריה +621
שפה מסדר ראשון
- 13:3313:33, 17 במאי 2013
הבדל היסטוריה +6
שפה מסדר ראשון
- 13:3313:33, 17 במאי 2013
הבדל היסטוריה −210
שפה מסדר ראשון
- 13:2813:28, 17 במאי 2013
הבדל היסטוריה +929
שפה מסדר ראשון
- 13:1913:19, 17 במאי 2013
הבדל היסטוריה +270
פסוק (לוגיקה)
- 13:1413:14, 17 במאי 2013
הבדל היסטוריה −3,301
נוסחה בנויה היטב