Studies in Logic and the Foundations of Mathematics - 79: Generalized Recursion TheoryProceedings of the 1972 Oslo Symposium456 stránok16 hodin čítania1974
