First-order logic /

Bibliographic Details
Main Author: Smullyan, Raymond M.
Format: Book
Published: New York : Dover Publications, 1994.
Subjects:
Table of Contents:
  • Part 1: Propositional Logic from the viewpoint of analytics tableaux. Part 2: First-Order Logic. Part 3:Further topics in first Order Logic