7.2. מערכת ההוכחה Hאקסיומות: (ASS) (SKIP) (ARITH)
כללי היסק: )SEQ( (IF) (REP) (CONS)
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |