Produktbild: Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

328,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.01.1993

Verlag

Oxford Academic

Seitenzahl

180

Maße (L/B/H)

24/16,1/1,4 cm

Gewicht

440 g

Sprache

Englisch

ISBN

978-0-19-508232-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.01.1993

Verlag

Oxford Academic

Seitenzahl

180

Maße (L/B/H)

24/16,1/1,4 cm

Gewicht

440 g

Sprache

Englisch

ISBN

978-0-19-508232-6

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Recursion Theory for Metamathematics

    • 1: Recursive Enumerability and Recursivity


    • 2: Undecidability and Recursive Inseparability


    • 3: Indexing


    • 4: Generative Sets and Creative Systems


    • 5: Double Generativity and Complete Effective Inseparability


    • 6: Universal and Doubly Universal Systems


    • 7: Shepherdson Revisited


    • 8: Recursion Theorems


    • 9: Symmetric and Double Recursion Theorems


    • 10: Productivity and Double Productivity


    • 11: Three Special Topics


    • 12: Uniform Godelization