تاربرگ‌های پیموده‌شده در این نشست: لئوپارد لونهایم ⟩ ارنست فردریش فردیناند تسرملو ⟩ Lectures on algebra of logic