A Mathematical introduction to logic /

Bibliographic Details
Main Author: Enderton, Herbert B.
Format: Book
Published: San Diego : Academic Press, 1972.
Subjects:
Table of Contents:
  • Useful facts about sets. Sentential logic. First-order logic. Undecidability. Second-order logic