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



Contact for Queries: skpathak@iiserb.ac.in