تاربرگ‌های پیموده‌شده در این نشست: Journal of Mathematical Logic and Fundamentals of Mathematics The completeness of the axioms of the logical function calculus