EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Dxx Computability and recursion theory
03D60 Computability and recursion theory on ordinals, admissible sets, etc.

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 4 of 4

Hierarchies of number - theoretic functions I, II: a correction.

M.H. Löb, S.S. Wainer (1971)

Archiv für mathematische Logik und Grundlagenforschung

Hierarchies of number-theoretic functions. I.

M.H. Löb, S.S. Wainer (1970)

Archiv für mathematische Logik und Grundlagenforschung

Hierarchies of number-theoretic functions. II.

M.H. Löb, S.S. Wainer (1970)

Archiv für mathematische Logik und Grundlagenforschung

Horn clause programs and recursive functions defined by systems of equations

Jan Šebelík (1982)

Kybernetika

Currently displaying 1 – 4 of 4

Page 1