Book,

Introduction to Mathematical Logic

.
Van Nostrand, (1964)

Abstract

This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.

Tags

Users

  • @algebradresden
  • @gdmcbain

Comments and Reviews