Higher Recursion Theory 1
bokomslag Higher Recursion Theory
Vetenskap & teknik

Higher Recursion Theory

Gerald E Sacks • Gerald E Sacks

Inbunden

2329:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 360 sidor
  • 2017
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.
  • Författare: Gerald E Sacks, Gerald E Sacks
  • Format: Inbunden
  • ISBN: 9781107168435
  • Språk: Engelska
  • Antal sidor: 360
  • Utgivningsdatum: 2017-03-02
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Degrees of Unsolvability

    Degrees of Unsolvability

    Manuel Lerman Manuel Lerman

    Inbunden

    1979:-
  2. bokomslag Admissible Sets and Structures

    Admissible Sets and Structures

    Jon Barwise Jon Barwise

    Inbunden

    2289:-
  3. bokomslag Lambda Calculus with Types

    Lambda Calculus with Types

    Henk Barendregt, Wil Dekkers, Richard Statman, Henk Barendregt, Wil Dekkers

    Inbunden

    1429:-
  4. bokomslag Computable Structure Theory

    Computable Structure Theory

    Antonio Montalbán

    Inbunden

    1979:-
  5. bokomslag Fundamentals of Stability Theory

    Fundamentals of Stability Theory

    John T Baldwin John T Baldwin

    Inbunden

    2579:-
  6. bokomslag Essential Stability Theory

    Essential Stability Theory

    Steven Buechler Steven Buechler

    Inbunden

    2289:-
  7. bokomslag Recursion-Theoretic Hierarchies

    Recursion-Theoretic Hierarchies

    Peter G Hinman Peter G Hinman

    Inbunden

    2579:-
  8. bokomslag Proper and Improper Forcing

    Proper and Improper Forcing

    Saharon Shelah Saharon Shelah

    Inbunden

    3169:-
  9. bokomslag Proofs and Computations

    Proofs and Computations

    Helmut Schwichtenberg, Stanley S Wainer, Helmut Schwichtenberg, Stanley S Wainer

    Inbunden

    1329:-
  10. bokomslag Pure Inductive Logic

    Pure Inductive Logic

    Jeffrey Paris, Alena Vencovska, Jeffrey Paris, Alena Vencovská

    Inbunden

    1879:-

Andra av samma författare

  1. bokomslag Degrees of Unsolvability

    Degrees of Unsolvability

    Gerald E Sacks

    Pocket

    949:-
  2. bokomslag Recursion Theory Week

    Recursion Theory Week

    Heinz-Dieter Ebbinghaus, Gert H Müller, Gerald E Sacks

    Pocket

    719:-
  3. bokomslag Logic and Computer Science

    Logic and Computer Science

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

    Pocket

    369:-
  4. bokomslag Recursion Theory Week

    Recursion Theory Week

    Klaus Ambos-Spies, Gert H Müller, Gerald E Sacks

    Pocket

    509:-
  5. bokomslag Selected Logic Papers

    Selected Logic Papers

    Gerald E Sacks G E Sacks

    Inbunden

    3349:-
  6. bokomslag Mathematical Logic In The 20th Century

    Mathematical Logic In The 20th Century

    Gerald E Sacks

    Inbunden

    4329:-
  7. bokomslag Saturated Model Theory (2nd Edition)

    Saturated Model Theory (2nd Edition)

    Gerald E Sacks, Gerald E Sacks, Gerald E Sacks, Gerald E Sacks, Gerald E Sacks

    Inbunden

    1139:-