Classical Recursion Theory 1
bokomslag Classical Recursion Theory
Data & IT

Classical Recursion Theory

P Odifreddi • P Odifreddi • Piergiorgio Odifreddi

Pocket

1599:-

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

  • 692 sidor
  • 1992
Includes a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. This book presents a comprehensive reference for the subject starting from first principles.
  • Författare: P Odifreddi, P Odifreddi, Piergiorgio Odifreddi
  • Format: Pocket/Paperback
  • ISBN: 9780444894830
  • Språk: Engelska
  • Antal sidor: 692
  • Utgivningsdatum: 1992-02-04
  • 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 Expressionism in Philosophy

    Expressionism in Philosophy

    Gilles Deleuze

    459:-
  3. bokomslag Computable Structures and the Hyperarithmetical Hierarchy

    Computable Structures and the Hyperar...

    C J Ash, J Knight, C J Ash, J Knight

    Inbunden

    2389:-
  4. bokomslag Silicon Solid State Devices And Radiation Detection

    Silicon Solid State Devices And Radia...

    Claude Leroy, Pier-Giorgio Rancoita, Pier-Giorgio Rancoita, Claude Leroy & Pier-Giorgio Rancoita

    Inbunden

    3119:-
  5. 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:-
  6. bokomslag Language in Action

    Language in Action

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

    Inbunden

    1719:-
  7. bokomslag Relation Algebras

    Relation Algebras

    Roger Duncan Maddux, Roger Duncan Maddux, Roger Maddux Duncan

    Inbunden

    3509:-
  8. bokomslag Classical Recursion Theory, Volume II

    Classical Recursion Theory, Volume II

    P Odifreddi P Odifreddi

    2159:-
  9. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

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

    1039:-
  10. bokomslag Tools and Techniques in Modal Logic

    Tools and Techniques in Modal Logic

    M Kracht, M Kracht, Arjen Sevenster

    Inbunden

    2669:-

Andra av samma författare

  1. bokomslag Classical Recursion Theory, Volume II

    Classical Recursion Theory, Volume II

    P Odifreddi P Odifreddi

    2159:-
  2. bokomslag Mathematical Century

    Mathematical Century

    Piergiorgio Odifreddi

    Pocket

    489:-
  3. bokomslag Kreiseliana

    Kreiseliana

    Piergiorgio Odifreddi

    Inbunden

    619:-