Foundations of mathematical logic /

Bibliographic Details
Main Author: Curry, Haskell B.
Format: Book
Published: New York : Dover Publications, 1977.
Subjects:
Table of Contents:
  • Formal systems. Epitheory. Relational logical algebra. Theory of implication. Negation. Quantification. Modality