bokomslag Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Vetenskap & teknik

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

George Tourlakis George Tourlakis Tourlakis George Bela Bollobas

Inbunden

1319:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 342 sidor
  • 2003
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.
  • Författare: George Tourlakis, George Tourlakis, Tourlakis George, Bela Bollobas
  • Format: Inbunden
  • ISBN: 9780521753739
  • Språk: Engelska
  • Antal sidor: 342
  • Utgivningsdatum: 2003-01-09
  • Förlag: Cambridge University Press