Hoppa till sidans huvudinnehåll

Del 2

Higher Recursion Theory

Inbunden, Engelska, 2017

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

2 259 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. This volume, the second publication in the Perspectives in Logic series, is an almost self-contained introduction to higher recursion theory, in which the reader is only assumed to know the basics of classical recursion theory. The book is divided into four parts: hyperarithmetic sets, metarecursion, α-recursion, and E-recursion. This text is essential reading for all researchers in the field.

Produktinformation

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

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Del 1429

Logic and Computer Science

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Häftad

349 kr

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