טבלה .13 סיכום האלגוריתם לפירכה על קל וחומר (טבלה 6)
מתוך:
אמת ולא יציב : על פונדמנטליזם, ספקנות והתבגרות פילוסופית
>
אמת ולא יציב על פונדמנטליזם, ספקנות והתבגרות פילוסופית
>
חלק שישי המבנה של היסקים יומיומיים לוגיקה סינתטית
>
22 לוגיקה של צבירת מידע: אלגוריתם, יישום ומשמעות
אל הספר