Higher Recursion Theory

Inbunden, Engelska, 2017

Av Massachusetts) Sacks, Gerald E. (Harvard University, Gerald E. Sacks

2 349 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, a-recursion, and E-recursion.

Produktinformation

  • Utgivningsdatum2017-03-02
  • Mått163 x 240 x 27 mm
  • Vikt730 g
  • FormatInbunden
  • SpråkEngelska
  • SeriePerspectives in Logic
  • Antal sidor360
  • FörlagCambridge University Press
  • ISBN9781107168435

Tillhör följande kategorier

Du kanske också är intresserad av

Admissible Sets and Structures
Del 7

Admissible Sets and Structures

Jon Barwise, Madison) Barwise, Jon (University of Wisconsin

2 309 kr

Lambda Calculus with Types

Lambda Calculus with Types

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

1 399 kr

Computable Structure Theory

Computable Structure Theory

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

1 969 kr

Fundamentals of Stability Theory

Fundamentals of Stability Theory

Chicago) Baldwin, John T. (University of Illinois, John T. Baldwin

2 609 kr

Essential Stability Theory

Essential Stability Theory

Indiana) Buechler, Steven (University of Notre Dame, Steven Buechler

2 309 kr

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

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

2 609 kr

Proper and Improper Forcing

Proper and Improper Forcing

Saharon (Hebrew University of Jerusalem) Shelah, Saharon Shelah

3 109 kr

Proofs and Computations

Proofs and Computations

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

1 299 kr

Model-Theoretic Logics

Model-Theoretic Logics

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

3 409 kr

Pure Inductive Logic

Pure Inductive Logic

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

2 309 kr