On local proof restrictions for strong theries - Jensen Don (Warszawa Panstwowe Wydawnictwo Naukowe, 1973)
Keywords: Mathematics