Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Recursive Functions and Metamathematics

- Problems of Completeness and Decidability, Goedel's Theorems

enthalten in Synthese Library-Reihe

Ü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:
  • 9789048152988
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 395
  • Veröffentlicht:
  • 6. Dezember 2010
  • Ausgabe:
  • 11999
  • Abmessungen:
  • 235x155x21 mm.
  • Gewicht:
  • 629 g.
  Versandkostenfrei
  Sofort lieferbar

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



Ä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.