کتاب زبان اصلی Contradictions from Consistency to Inconsistency    کتاب Contradictions from Consistency to Inconsistency Trends in Logic 47 اثر Walter Carnielli و Jacek Malinowski که توسط Springer در سال 2019 منتشر شده است به بررسی مشکلات روشن در مورد نظریه اعداد و نظریه استباق اختصاص دارد این کتاب به تحلیل تناقض های موجود در نظریه های استباق و اعداد می پردازد و نحوه ی رسیدن به نتایج مشترک برای تناقض های مختلف را نیز بررسی می کند این کتاب همچنین به بررسی تحلیل های تطبیقی و تحلیل های ناهمگن اختصاص دارد نویسندگان این کتاب همچنین کتابهای موفقی دیگری نظیر Logical Consequence Trends in Logic 25 و Logical Foundations of Mathematics and Computational Complexity Trends in Logic 33 را نیز نوشته اند