共 50 条
- [31] A CONNECTION BETWEEN RECURSION-THEORY AND CONSTRUCTIVE MATHEMATICSJOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 439 - 440KUCERA, A
- [32] SYNTAX AND SEMANTICS IN HIGHER-TYPE RECURSION-THEORYTRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 276 (01) : 67 - 105KIERSTEAD, DP
- [33] TREE ARGUMENTS IN RECURSION-THEORY AND THE O'''-PRIORITY METHODPROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 53 - 106SOARE, RI
- [34] CANONICAL-FORMS AND HIERARCHIES IN GENERALIZED RECURSION-THEORYPROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 139 - 170KOLAITIS, PG
- [35] A RECURSION-THEORY STUDY OF THE ELECTRONIC-STRUCTURE OF METALLIC SUPERLATTICESCOMMUNICATIONS IN THEORETICAL PHYSICS, 1986, 5 (02) : 173 - 177XU, YMA, HRTSAI, CH
- [36] RECURSION-THEORY ON STRONGLY SIGMA-2 INADMISSIBLE ORDINALSLECTURE NOTES IN MATHEMATICS, 1985, 1141 : 49 - 64CHONG, CT
- [37] SOME REFLECTIONS ON THE FOUNDATIONS OF ORDINARY RECURSION-THEORY AND A NEW PROPOSALZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (06): : 503 - 515TOURLAKIS, G
- [38] THE HEREDITARY PARTIAL EFFECTIVE FUNCTIONALS AND RECURSION-THEORY IN HIGHER TYPESJOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1319 - 1332LONGO, GMOGGI, E
- [39] SOME REMARKS ON A THEOREM OF KALANTARI,IRAJ CONCERNING CONVEXITY AND RECURSION-THEORYZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (04): : 295 - 302DOWNEY, R