Introduction to mathematical logic

Michał Walicki
Bok · Engelsk · 2012

Utgitt	New Jersey : World Scientific , cop. 2012
Omfang	XII, 268 s. : ill.
Utgave	Extended edition.
Opplysninger	Includes index.. - A history of logic -- A language and its meaning -- A symbolic language -- 1850-1950 : mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turing machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of pl -- Soundness and completeness -- Diagnosing paradoxes -- First order logic -- Syntax and proof systems of fol -- Semantics of fol -- More semantics -- Soundness and completeness -- Why is first order logic "first order"?
Emner	Logic, Symbolic and mathematical. Matematisk logikk : (NoOU)REAL012433 Mengdelære : (NO-TrBIB)REAL002861 Mengdeteori : (NO-TrBIB)REAL002861 Vis mer... Set teori : (NoOU)REAL006665 matematisk logikk lærebøker matematikk
Dewey	511.3
ISBN	9789814719957 (hardcover : alk. paper). - 9789814719964 (pbk. : alk. paper). - 9814719951 (hardcover : alk. paper). - 981471996X (pbk. : alk. paper)