http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
concise introduction to mathematical logic
Einführung in die mathematische Logik. English
xvii, 256 pages : illustrations ; 24 cm.
Propositional logic. -- Predicate logic. -- Gödel's completeness theorem. -- The foundation of logic programming. -- Elements of model theory. -- Incompleteness and undecidability. -- On the theory of self-reference. -- Hints to the exercises.
Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Jan. 30, 2008). Access may be restricted to users at subscribing institutions.
Includes bibliographical references (pages 241-246) and indexes.