9780387302942 (acid-free paper)
IR
EN-53147
انگلیسی
IR
A concise introduction to mathematical logic
[Book]
/ Wolfgang Rautenberg
2nd ed.
New York, NY
: Springer,
, 2006.
xvii, 256 p. , ill. , 24 cm.
(Universitext)
Electronic
Includes bibliographical references (p. 241-246) and indexes.
1. Propositional logic -- 2. Predicate logic -- 3. Godel's completeness theorem -- 4. foundations of logic programming -- 5. Elements of model theory -- 6. Incompleteness and undecidability -- 7. On the theory of self-reference.
[EinfouAسuhrung in die mathematische Logik. English]
Logic, Symbolic and mathematical
Electronic books. , local
E-BOOK
Rautenberg, Wolfgang.
ایران
9780387302942.pdf
عادی
عادی
9780387302942.pdf
متن
old catalog
e
BL
1
a
Y
