Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Recursive Functions and Metamathematics

Recursive Functions and Metamathematics

- Problems of Completeness and Decidability, Goedel's Theorems

von Roman Murawski

enthalten in Synthese Library-Reihe

Recursive Functions and Metamathematics von Roman Murawski Sie sparen 12% des UVP sparen 12%
Über Recursive Functions and Metamathematics

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780792359043
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 395
  • Veröffentlicht:
  • 1. Januar 1999
  • Ausgabe:
  • 1999
  • Abmessungen:
  • 234x156x23 mm.
  • Gewicht:
  • 1630 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Roman Murawski

Alle Bücher von Roman Murawski anzeigen

Beschreibung von Recursive Functions and Metamathematics

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.

Kund*innenbewertungen von Recursive Functions and Metamathematics



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Recursive Functions and Metamathematics ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.