A mathematical introduction to logic / Herbert B. Enderton.
Material type: TextPublication details: San Diego : Harcourt/Academic Press, ©2001.Edition: 2nd edDescription: 1 online resource (xii, 317 pages) : illustrationsContent type:- text
- computer
- online resource
- 9780080496467
- 0080496466
- 511/.3 22
- QA9 .E54 2001eb
Includes bibliographical references (pages 307-308) and index.
USEFUL FACTS ABOUT SETS.<br>SENTENTIAL LOGIC.<br>FIRST-ORDER LOGIC.<br>UNDECIDABILITY.<br>SECOND-ORDER LOGIC.<br>
Print version record.
There are no comments on this title.