کتاب زبان اصلی Mathesis Universalis Computability and Proof  اثر Centrone   کتاب Mathesis Universalis Computability and Proof Synthese Library 412 اثر Centrone یک مطالعه برای بررسی نظریه ی ماتزیس یونیورسالیس است این کتاب توسط انتشارات سینتهز در سال 2014 منتشر شده است این کتاب نوشته ی اثری از Centrone است که کتابهای موفق دیگری نیز دارد که به فارسی نیز ترجمه شده است مثلاً کتاب The Logic of Computability Synthese Library 454