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:
  • 9780521168465
  • Bindende:
  • Paperback
  • Sider:
  • 342
  • Utgitt:
  • 9. september 2010
  • Dimensjoner:
  • 229x154x28 mm.
  • Vekt:
  • 516 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 21. desember 2024
Utvidet returrett til 31. januar 2025

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.