Hoppa till sidans huvudinnehåll

Del 9

Recursion-Theoretic Hierarchies

Inbunden, Engelska, 2017

AvPeter G. Hinman,Ann Arbor) Hinman, Peter G. (University of Michigan

2 509 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. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear.

Produktinformation

  • Utgivningsdatum2017-03-02
  • Mått163 x 240 x 37 mm
  • Vikt930 g
  • FormatInbunden
  • SpråkEngelska
  • SeriePerspectives in Logic
  • Antal sidor494
  • FörlagCambridge University Press
  • ISBN9781107168244

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