Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444898821

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

∏10 Classes in Computability Theory

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80018-4 ◽

1999 ◽

pp. 37-85 ◽

Cited By ~ 12

Author(s):

Douglas Cenzer

Keyword(s):

Computability Theory

Download Full-text

List of Contributors

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80016-0 ◽

1999 ◽

pp. ix

Author(s):

K. Ambos-Spies ◽

D. Cenzer ◽

C.T. Chong ◽

P. Clote ◽

S.B. Cooper ◽

...

Download Full-text

Computation Models and Function Algebras

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80033-0 ◽

1999 ◽

pp. 589-681 ◽

Cited By ~ 13

Author(s):

P. Clote

Keyword(s):

Function Algebras ◽

And Function

Download Full-text

Computable Rings and Fields

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80028-7 ◽

1999 ◽

pp. 363-447 ◽

Cited By ~ 20

Author(s):

V. Stoltenberg-Hansen ◽

J.V. Tucker

Download Full-text

The Global Structure of the Turing Degrees

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80021-4 ◽

1999 ◽

pp. 155-168

Author(s):

A. Slaman Theodore

Keyword(s):

Global Structure ◽

Turing Degrees

Download Full-text

Polynomial Time Reducibilities and Degrees

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80034-2 ◽

1999 ◽

pp. 683-705 ◽

Cited By ~ 3

Author(s):

Klaus Ambos-Spies

Keyword(s):

Polynomial Time

Download Full-text

Subject Index

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80036-6 ◽

1999 ◽

pp. 715-727

Download Full-text

Theory of Numberings* *Supported by Russian Foundation for Fundamental Research, project code 93-11-16014.

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80030-5 ◽

1999 ◽

pp. 473-503 ◽

Cited By ~ 33

Author(s):

Yuri L. Ershov

Keyword(s):

Research Project ◽

Fundamental Research

Download Full-text

Preface

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80015-9 ◽

1999 ◽

pp. v-vii ◽

Cited By ~ 3

Author(s):

Edward R. Griffor

Download Full-text

Pure Recursive Model Theory

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(99)80031-7 ◽

1999 ◽

pp. 507-532 ◽

Cited By ~ 1

Author(s):

Terrence S. Millar

Keyword(s):

Model Theory ◽

Recursive Model

Download Full-text

Handbook of Computability Theory - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

∏10 Classes in Computability Theory

List of Contributors

Computation Models and Function Algebras

Computable Rings and Fields

The Global Structure of the Turing Degrees

Polynomial Time Reducibilities and Degrees

Subject Index

Theory of Numberings* *Supported by Russian Foundation for Fundamental Research, project code 93-11-16014.

Preface

Pure Recursive Model Theory

Handbook of Computability Theory - Studies in Logic and the Foundations of Mathematics
Latest Publications