Introduction to mathematical logic /

Bibliographic Details
Main Author: Church, Alonzo, 1903-
Format: Book
Published: Princeton : Princeton University Press, 1996.
Series:Princeton Landmarks in Mathematics and Physics
Subjects:
Table of Contents:
  • Propositional calculus. Functional calculi of first order. The pure functional calculus of first order. Functional calculi of second order