Computable Structures and the Hyperarithmetical Hierarchy 1
bokomslag Computable Structures and the Hyperarithmetical Hierarchy
Vetenskap & teknik

Computable Structures and the Hyperarithmetical Hierarchy

C J Ash • J Knight • C J Ash • J Knight

Inbunden

2389:-

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:-

  • 366 sidor
  • 2000
Describes a program of research in computable structure theory. This book aims to find definability conditions corresponding to bounds on complexity which persist under isomorphism. It includes necessary background material from recursion theory and model theory.
  • Författare: C J Ash, J Knight, C J Ash, J Knight
  • Format: Inbunden
  • ISBN: 9780444500724
  • Språk: Engelska
  • Antal sidor: 366
  • Utgivningsdatum: 2000-06-16
  • Förlag: Elsevier Science & Technology

Du kanske gillar

  1. bokomslag Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    Residuated Lattices: An Algebraic Gli...

    Nikolaos Galatos, ), Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

    Inbunden

    2669:-
  2. bokomslag Admissibility of Logical Inference Rules

    Admissibility of Logical Inference Rules

    V V Rybakov, V V Rybakov, Vladimir V Rybakov

    Inbunden

    2579:-
  3. bokomslag Many-Dimensional Modal Logics: Theory and Applications

    Many-Dimensional Modal Logics: Theory...

    A Kurucz, F Wolter, M Zakharyaschev, Dov M Gabbay, A Kurucz

    Inbunden

    3089:-
  4. bokomslag Language in Action

    Language in Action

    J Van Benthem, J Van Benthem, J F A K Van Benthem

    Inbunden

    1719:-
  5. bokomslag Relation Algebras

    Relation Algebras

    Roger Duncan Maddux, Roger Duncan Maddux, Roger Maddux Duncan

    Inbunden

    3509:-
  6. bokomslag Sport Psychology for Young Athletes

    Sport Psychology for Young Athletes

    Camilla J Knight, Chris G Harwood, Daniel Gould, Camilla J Knight, Chris G Harwood

    Pocket

    849:-
  7. bokomslag Classical Recursion Theory

    Classical Recursion Theory

    P Odifreddi, P Odifreddi, Piergiorgio Odifreddi

    Pocket

    1599:-
  8. bokomslag Tools and Techniques in Modal Logic

    Tools and Techniques in Modal Logic

    M Kracht, M Kracht, Arjen Sevenster

    Inbunden

    2669:-
  9. bokomslag Relation Algebras by Games

    Relation Algebras by Games

    R Hirsch, I Hodkinson, Robin Hirsch, Ian Hodkinson

    Inbunden

    2839:-
  10. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen

    1039:-

Andra av samma författare

  1. bokomslag Towards a Labour Market in China

    Towards a Labour Market in China

    John Knight, Lina Song, John Knight, Lina Song, J Knight

    Inbunden

    1609:-
  2. bokomslag Human Development and the International Development Strategy for the 1990s

    Human Development and the Internation...

    Griffin+Knight, Keith Griffin, J Knight

    Inbunden

    1469:-
  3. bokomslag Human Development and the International Development Strategy for the 1990s

    Human Development and the Internation...

    J Knight Keith Griffin

    Pocket

    1929:-
  4. bokomslag Economic Decline of Zimbabwe

    Economic Decline of Zimbabwe

    J Knight

    Inbunden

    1609:-
  5. bokomslag Lee 2

    Lee 2

    J Knight, B Lee, S Lee

    Pocket

    329:-
  6. bokomslag The Travel Tactics Collection

    The Travel Tactics Collection

    J Knight

    Häftad

    269:-
  7. bokomslag Teacher Evaluation and Compensation

    Teacher Evaluation and Compensation

    T Broce, S Jeynes, J Knight, T Broce, S Jeynes

    Pocket

    599:-