Understanding mathematical proof

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Taylor, John 1957- (مؤلف), Garnier, Rowan (مؤلف)
التنسيق:	كتاب
اللغة:	English
منشور في:	Boca Raton Taylor & Francis [2014]
الموضوعات:	Proof theory. Logic, Symbolic and mathematical.