Natural deduction the logical basis of axiom systems

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Anderson, John Mueller
مؤلفون آخرون:	Johnstone, Henry W., joint auth
التنسيق:	كتاب
اللغة:	English
منشور في:	Belmont, Calif. Wadsworth Pub. [c1962].
الموضوعات:	Logic, Symbolic and mathematical. Metamathematics.