Hoppa till sidans huvudinnehåll

Del 125

Classical Recursion Theory

The Theory of Functions and Sets of Natural Numbers

Häftad, Engelska, 1992

AvP. Odifreddi,Italy) Odifreddi, P. (University of Turin,Piergiorgio Odifreddi

1 509 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.

Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Produktinformation

  • Utgivningsdatum1992-02-04
  • Mått236 x 157 x 37 mm
  • Vikt968 g
  • FormatHäftad
  • SpråkEngelska
  • SerieDel 125 i Studies in Logic and the Foundations of Mathematics
  • Antal sidor692
  • FörlagElsevier Science
  • ISBN9780444894830

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Classical Recursion Theory, Volume II
Del 143

Classical Recursion Theory, Volume II

P. Odifreddi, Italy) Odifreddi, P. (University of Turin

2 029 kr

Hoppa över listan

Du kanske också är intresserad av

Classical Recursion Theory, Volume II
Del 143

Classical Recursion Theory, Volume II

P. Odifreddi, Italy) Odifreddi, P. (University of Turin

2 029 kr

Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Del 151

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa

2 559 kr

Computable Structures and the Hyperarithmetical Hierarchy
Del 144

Computable Structures and the Hyperarithmetical Hierarchy

C.J. Ash, J. Knight, USA) Knight, J. (University of Notre Dame, Department of Mathematics, Notre Dame, IN, C. J. Ash

2 299 kr

Constructivism in Mathematics, Vol 2
Del 123

Constructivism in Mathematics, Vol 2

A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen

979 kr

Constructivism in Mathematics, Vol 1
Del 121

Constructivism in Mathematics, Vol 1

A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen, Anne S. Troelstra

859 kr

Many-Dimensional Modal Logics: Theory and Applications
Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

2 969 kr

Handbook of Proof Theory
Del 137

Handbook of Proof Theory

Samuel R. Buss, S. R. Buss, S.R. Buss, USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, S. R. Buss

2 069 kr

Language in Action
Del 130

Language in Action

J. van Benthem, The Netherlands) van Benthem, J. (University of Amsterdam, Institute for Logic, Language and Computation, Amsterdam, J. Van Benthem, J. F. A. K. Van Benthem

1 709 kr

Relation Algebras
Del 150

Relation Algebras

Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger

3 369 kr

Realizability
Del 152

Realizability

Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

2 089 kr