A consequence of the notional existence of an effectively calculable yet non-recursive function

Autor: Olszewski, Adam
Zdroj: Analecta Cracoviensia. Czasopismo Uniwersytetu Papieskiego Jana Pawła II w Krakowie / Analecta Cracoviensia. Journal of the Pontifical University of John Paul II in Krakow. (53):111-139
Databáze: Central and Eastern European Online Library (CEEOL)