Studies in Logic and the Foundations of Mathematics, Volume 94 - 2: Generalized Recursion TheoryProceedings of the 1977 Oslo Symposium417 stránok15 hodin čítania1978
