The completeness of the axioms of the logical function calculus
(1930)
برابر انگلیک (انگلیسی): Vorlesungen über die Algebra der Logik

دست‌اندرکاران:

گسترش‌ها
Ernst Schröder
ارنست شرودر
(1841 – 1902)

جستارهای پیونددار نگره‌ی نمونه

تاربرگ‌های پیموده‌شده در این نشست: On the completeness of the calculus of logic ⟩ The completeness of the axioms of the logical function calculus