کتاب زبان اصلی Concepts of Proof in Mathematics Philosophy and Computer Science    کتاب Concepts of Proof in Mathematics Philosophy and Computer Science Ontos Mathematical Logic Ontos Mathematical Logic 6 اثر Dieter Probst یک کتاب مفید و جامع در مورد مفاهیم اثبات در ریاضی فلسفه و فناوری اطلاعات است این کتاب توسط انتشارات Ontos Verlag در سال 2010 منتشر شده است این کتاب به دلیل تحلیل های عمیق و تحقیقات علمی بسیار بالا موفقیت بسیار زیادی را در بین فارغ التحصیلان دانشجویان و علاقه مندان به ریاضیات به خوبی به دست آورده است نویسنده این کتاب به علاوه بر این کتاب کتابهای موفقیت دیگری نیز دارد که می توان آنها را به عنوان مثال کتاب The Logical Foundations of Mathematics Ontos Mathematical Logic 5 نام برد