Regressive isols and the relation ya≤ybBARBACK, J.Journal of the London Mathematical Society. 1990, Vol 41, Num 1, pp 1-9, issn 0024-6107, 9 p.Article

HYPERHYPERSIMPLE SUPERSETS IN ADMISSIBLE RECURSION THEORYCHONG CT.1983; JOURNAL OF SYMBOLIC LOGIC; ISSN 0022-4812; USA; DA. 1983; VOL. 48; NO 1; PP. 185-192; BIBL. 13 REF.Article

RECURSION THEORY ON MATROIDSNERODE A; REMMEL J.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 109; PP. 41-65; BIBL. 16 REF.Conference Paper

A REPRESENTATION APPROACH TO THE TOWER OF HANOI PROBLEMER MC.1982; COMPUTER JOURNAL; ISSN 0010-4620; GBR; DA. 1982; VOL. 25; NO 4; PP. 442-447; BIBL. 7 REF.Article

BACK-AND-FORTH INSIDE A RECURSIVELY SATURATED MODEL OF ARITHMETICSMORYNSKI C.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 108; PP. 273-278; BIBL. 6 REF.Conference Paper

ON RECURSIVE LINEAR ORDERINGSLERMAN M.1981; LECT. NOTES MATH.; ISSN 0075-8434; DEU; DA. 1981; VOL. 859; PP. 132-142; BIBL. 2 REF.Article

ON THE GRILLIOT-HARRINGTON-MACQUEEN THEOREMMOSCHOVAKIS YN.1981; LECT. NOTES MATH.; ISSN 0075-8434; DEU; DA. 1981; VOL. 859; PP. 246-267; BIBL. 7 REF.Article

RECURSION AND NONMONOTONE INDUCTION IN A QUANTIFIERKOLAITIS PG.1980; STUD. LOGIC FOUND. MATH.; NLD; DA. 1980; VOL. 101; PP. 367-389; BIBL. 2 P.Conference Paper

RECURSIVELY SATURATED MODELS OF SET THEORYSCHLIPF JS.1980; PROC. AM. MATH. SOC.; USA; DA. 1980; VOL. 80; NO 1; PP. 135-142; BIBL. 14 REF.Article

THE RECURSION THEORY OF THE CONTINUOUS FUNCTIONALSNORMAN D.1980; LONDON MATH. SOC. LECTURE NOTE SER.; GBR; DA. 1980; NO 45; PP. 171-183; BIBL. 21 REF.Conference Paper

TWO SPLITTING THEOREMS FOR BETA-RECURSION THEORYHOMER S.1980; ANN. MATH. LOGIC; NLD; DA. 1980; VOL. 18; NO 2; PP. 137-151; BIBL. 17 REF.Article

ON ELEMENTARY THEORIES OF SOME LATTICES OF ALPHA -RECURSIVELY ENUMERABLE SETS.LERMAN M.1978; ANN. MATH. LOGIC; NLD; DA. 1978; VOL. 14; NO 3; PP. 227-272; BIBL. 16 REF.Article

CO-HYPERSIMPLE STRUCTURES.REMMEL JB.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 611-625; BIBL. 8 REF.Article

IDEALS OF GENERALIZED FINITE SETS IN LATTICER OF ALPHA -RECURSIVELY ENUMERABLE SETS.LERMAN M.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 4; PP. 347-352; BIBL. 4 REF.Article

ON THE COMPLEXITY OF THE THEORIES OF WEAK DIRECT POWERS.RACKOFF C.1976; J. SYMBOLIC LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 561-573; BIBL. 18 REF.Article

Recursive surreal numbersHARKLEROAD, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 337-345, issn 0029-4527, 9 p.Article

A 1-generic degree which bounds a minimal degreeKUMABE, M.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 733-743, issn 0022-4812, 11 p.Article

Churchs thesis without tearsRICHMAN, F.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 797-803, issn 0022-4812Article

THE STRUCTURES OF RECURSION THEORYLERMAN M.1983; STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS; ISSN 0049-237X; NLD; DA. 1983; VOL. 111; PP. 77-95; BIBL. 38 REF.Article

RECURSIVE FUNCTIONALS AND QUANTIFIERS OF FINITE TYPES REVISITED. IIIKLEENE SC.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 109; PP. 1-40; BIBL. 9 REF.Conference Paper

SUR LES SYSTEMES DE DEFINITIONS RECURSIVES PAR CAS: APPLICATION A LA SEMANTIQUE DENOTATIONNELLE = ON SYSTEMS OF DEFINITIONS RECURSIVE BY CASE: APPLICATION TO DENOTATIONAL SEMANTICSLAVANDIER FRANCOIS.1982; ; FRA; DA. 1982; 89 P.; 30 CM; BIBL. 3 P.; TH. 3E CYCLE: INF./BORDEAUX 1/1982/1737Thesis

DECIDABILITY FOR BRANCHING TIMEBURGESS JP.1980; STUD. LOGICA; POL; DA. 1980; VOL. 39; NO 2-3; PP. 203-218; BIBL. 3 REF.Article

DECOMPOSITION OF RECURSIVELY ENUMERABLE DEGREESLACHLAN AH.1980; PROC. AMER. MATH. SOC.; USA; DA. 1980; VOL. 79; NO 4; PP. 629-634; BIBL. 6 REF.Article

RECURSION ON THE COUNTABLE FUNCTIONALSNORMANN D.1980; LECTURE NOTES MATH.; DEU; DA. 1980; VOL. 811; VIII-191 P.; BIBL. 46 REF.Serial Issue

RECURSION THEORY ON ORDERINGS. IIREMMEL JB.1980; J. SYMBOL. LOGIC; USA; DA. 1980; VOL. 45; NO 2; PP. 317-333; BIBL. 14 REF.Article