Find bogen
Viser: Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Bestil nu og få den leveret
om ca. 10 hverdage
Detaljer om varen
Paperback: 342 siderUdgiver: Cambridge University Press (September 2010)
Forfattere: George Tourlakis
ISBN-10: 0521168465
ISBN-13: 9780521168465
This two-volume 2003 work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), 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.
Polyteknisk Boghandel
har gennem 45 år været studieboghandlen på DTU og en af Danmarks førende specialister i faglitteratur.
Vi lagerfører et bredt udvalg af bøger, ikke bare inden for videnskab og teknik, men også f.eks. ledelse, IT og meget andet.
Anker Engelunds Vej 1
DK-2800 Lyngby
Tel: (+45) 77 42 43 44
Email: poly@polyteknisk.dk