Utvidet returrett til 31. januar 2025

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Om Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521753739
  • Bindende:
  • Hardback
  • Sider:
  • 342
  • Utgitt:
  • 9. januar 2003
  • Dimensjoner:
  • 236x158x29 mm.
  • Vekt:
  • 652 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Brukervurderinger av Lectures in Logic and Set Theory: Volume 1, Mathematical Logic



Finn lignende bøker
Boken Lectures in Logic and Set Theory: Volume 1, Mathematical Logic finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.