Recursive Functions and Metamathematics
- Problems of Completeness and Decidability, Goedel's Theorems
indgår i Synthese Library serien
- Indbinding:
- Hardback
- Sideantal:
- 395
- Udgivet:
- 1. januar 1999
- Udgave:
- 1999
- Størrelse:
- 234x156x23 mm.
- Vægt:
- 1630 g.
- 8-11 hverdage.
- 20. november 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af 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.
Brugerbedømmelser af Recursive Functions and Metamathematics
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Recursive Functions and Metamathematics findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621