Hoppa till sidans huvudinnehåll

Del 11

Degrees of Unsolvability

Local and Global Theory

Inbunden, Engelska, 2017

AvManuel Lerman,Manuel (University of Connecticut) Lerman

1 909 kr

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


Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results.

Produktinformation

  • Utgivningsdatum2017-04-06
  • Mått165 x 242 x 25 mm
  • Vikt680 g
  • FormatInbunden
  • SpråkEngelska
  • SeriePerspectives in Logic
  • Antal sidor322
  • FörlagCambridge University Press
  • ISBN9781107168138

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

Proofs and Computations

Helmut Schwichtenberg, Stanley S. Wainer, Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer

Inbunden

1 249 kr

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman, Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers

Inbunden

1 349 kr

Pure Inductive Logic

Jeffrey Paris, Alena Vencovská, Alena Vencovská, Jeffrey (University of Manchester) Paris, Alena (University of Manchester) Vencovska

Inbunden

2 219 kr

Del 8

Model-Theoretic Logics

J. Barwise, S. Feferman, California) Barwise, J. (Stanford University, California) Feferman, S. (Stanford University

Inbunden

3 279 kr

Hoppa över listan

Du kanske också är intresserad av

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman, Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers

Inbunden

1 349 kr

Computable Structure Theory

Antonio Montalbán, Antonio Montalbán, Berkeley) Montalban, Antonio (University of California

Inbunden

1 889 kr

Proofs and Computations

Helmut Schwichtenberg, Stanley S. Wainer, Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer

Inbunden

1 249 kr

Del 8

Model-Theoretic Logics

J. Barwise, S. Feferman, California) Barwise, J. (Stanford University, California) Feferman, S. (Stanford University

Inbunden

3 279 kr

Pure Inductive Logic

Jeffrey Paris, Alena Vencovská, Alena Vencovská, Jeffrey (University of Manchester) Paris, Alena (University of Manchester) Vencovska

Inbunden

2 219 kr