The Leading eBooks Store Online

3,693,353 members ⚫ 1,195,028 ebooks

New to

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Recursion theory

Most popular at the top

  • Recursion Theory for Metamathematicsby Raymond M. Smullyan

    Oxford University Press 1993; US$ 159.99 US$ 137.59

    This work is a sequel to the author's G?del's Incompleteness Theorems , though it can be read independently by anyone familiar with G?del's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. ... more...

  • Recursive Functionalsby L.E. Sanchis

    Elsevier Science 1992; US$ 72.95

    This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical functions and the values, when defined, are natural numbers.... more...

  • Fundamentals of Generalized Recursion Theoryby M. Fitting

    Elsevier Science 2011; US$ 205.00

    This work presents the most important combinatorial ideas in partition calculus and discusses ordinary partition relations for cardinals without the assumption of the generalized continuum hypothesis. A separate section of the book describes the main partition symbols scattered in the literature. A chapter on the applications of the combinatorial methods... more...

  • Kurt Gödelby Karl Sigmund; John W Dawson; Kurt Mühlberger

    Vieweg+Teubner Verlag 2007; US$ 24.69

    Time Magazine reihte ihn unter die hundert wichtigsten Personen des zwanzigsten Jahrhunderts. Die Harvard University verlieh ihm das Ehrendoktorat für die Entdeckung "der bedeutsamsten mathematischen Wahrheit des Jahrhunderts". Er gilt allgemein als der größte Logiker seit Aristoteles. Sein Freund Einstein ging, nach eigener Aussage, nur deshalb ans... more...

  • Recursion Theory and Computational Complexityby G. Lolli

    Springer Berlin Heidelberg 2011; US$ 32.65

    S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory. more...

  • Godel's Proofby Ernest Nagel; James R. Newman

    Taylor and Francis 2012; US$ 20.95

    'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' ? The Guardian In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his... more...

  • Recursion Theory, its Generalisations and Applicationsby F. R. Drake; S. S. Wainer

    Cambridge University Press 1980; US$ 112.00 US$ 91.84

    This book is a collection of advanced research/survey papers by eminent research workers in the Recursion theory. more...

  • Computability, Enumerability, Unsolvabilityby S. B. Cooper; T. A. Slaman; S. S. Wainer

    Cambridge University Press 1996; US$ 84.00 US$ 68.88

    Provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. more...

  • E-Recursion, Forcing and C*-Algebrasby Chitat Chong; Qi Feng; Theodore A. Slaman; W. Hugh Woodi; Yue Yang

    World Scientific Publishing Company 2014; US$ 22.00

    This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School . The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced... more...

  • Recursion Theoryby Chi Tat Chong; Liang Yu

    De Gruyter 2015; US$ 130.59

    This monograph presents recursion theory from a generalized and largely global point of view. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using ideas and techniques beyond those of classical recursion theory. These include structure theory,... more...