کتاب زبان اصلی Reverse Mathematics اثر John Stillwell کتاب ریاضیات معکوس اثبات از درون به بیرون Reverse Mathematics Proofs from the Inside Out نوشته جان استیلول John Stillwell در سال 2014 منتشر شده است این کتاب به بررسی روشی به نام ریاضیات معکوس می پردازد که در آن ابتدا نتیجه ای در نظر گرفته می شود و سپس به دنبال اثبات آن با استفاده از مبانی و اصول پایه ای تر هستیم نویسنده در این کتاب مفاهیم پایه ای ریاضیات مانند اعداد هندسه آنالیز و منطق را بررسی کرده و نشان می دهد چگونه می توان با روش ریاضیات معکوس اثبات هایی برای آن ها ارائه نمود کتاب برای دانشجویان ریاضیات و همچنین ریاضی دانان حرفه ای بسیار مفید است