num_pages: 288
description: Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.
language: English
title: First Course in Mathematical Logic
titlecomplete: First Course in Mathematical Logic (Dover Books on Mathematics)
genres: Science, Philosophy, Mathematics, Nonfiction, Logic
ratings_count: 25
publisher: Dover Publications