A mathematical introduction to logic /
Enderton, Herbert B.
A mathematical introduction to logic / Herbert B. Enderton. - 2nd ed. - San Diego : Harcourt/Academic Press, ©2001. - 1 online resource (xii, 317 pages) : illustrations.
Includes bibliographical references (pages 307-308) and index.
USEFUL FACTS ABOUT SETS.
SENTENTIAL LOGIC.
FIRST-ORDER LOGIC.
UNDECIDABILITY.
SECOND-ORDER LOGIC.
9780080496467 0080496466
9780080496467 Ingram Content Group
GBB6H5170 bnb
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS--Infinity.
MATHEMATICS--Logic.
Logic, Symbolic and mathematical.
Wiskundige logica.
Symbolische logica.
Electronic books.
QA9 / .E54 2001eb
511/.3
A mathematical introduction to logic / Herbert B. Enderton. - 2nd ed. - San Diego : Harcourt/Academic Press, ©2001. - 1 online resource (xii, 317 pages) : illustrations.
Includes bibliographical references (pages 307-308) and index.
USEFUL FACTS ABOUT SETS.
SENTENTIAL LOGIC.
FIRST-ORDER LOGIC.
UNDECIDABILITY.
SECOND-ORDER LOGIC.
9780080496467 0080496466
9780080496467 Ingram Content Group
GBB6H5170 bnb
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS--Infinity.
MATHEMATICS--Logic.
Logic, Symbolic and mathematical.
Wiskundige logica.
Symbolische logica.
Electronic books.
QA9 / .E54 2001eb
511/.3