کتاب زبان اصلی An Introduction to Proof Theory انتشارات Oxford University Press   این کتاب کتابی از نویسندگان Paolo Mancosu Sergio Galvan و Richard Zach است که توسط انتشارات Springer در سال 2020 منتشر شده است این کتاب به شرح برخی از مباحث مهم مربوط به تحقیق در مورد ثابت کردن از جمله نرمال سازی حذف کاهش و ثابت کردن معتقدات می پردازد نویسندگان این کتاب همچنین کتابهای موفقی دیگری نیز دارند که می توان آنها را به نام های مبانی منطق نادرستی و آشنایی با مبانی نظریه ثابت کردن اشاره کرد