Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Aspects of Incompleteness

Aspects of Incompleteness

av Per (Goteborgs Universitet Lindstrom

del av Lecture Notes in Logic-serien

Aspects of Incompleteness av Per (Goteborgs Universitet Lindstrom
Om Aspects of Incompleteness

This volume presents some of the main areas and results of general metamathematics. In addition to standard results of Goedel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781107167926
  • Format:
  • Inbunden
  • Sidor:
  • 142
  • Utgiven:
  • 2 Mars 2017
  • Mått:
  • 156x235x15 mm.
  • Vikt:
  • 300 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17 Juli 2024

Om Per (Goteborgs Universitet Lindstrom

Se alla böcker av Per (Goteborgs Universitet Lindstrom

Beskrivning av Aspects of Incompleteness

This volume presents some of the main areas and results of general metamathematics. In addition to standard results of Goedel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role.

Användarnas betyg av Aspects of Incompleteness



Andra köpte även...
Hitta liknande böcker
Boken Aspects of Incompleteness finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.