**Symbolic Logic: A Second Course**

by Gary Hardegree

**Publisher**: UMass Amherst 2003**Number of pages**: 246

**Description**:

Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.

Download or read it online for free here:

**Download link**

(multiple PDF files)

## Similar books

**Logics of Time and Computation**

by

**Robert Goldblatt**-

**Center for the Study of Language**

Sets out the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the dynamic logic of regular programs.

(

**7208**views)

**The Algebra of Logic**

by

**Louis Couturat**-

**Project Gutenberg**

Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.

(

**8433**views)

**Symbolic Logic: A First Course**

by

**Gary Hardegree**-

**Mcgraw-Hill College**

Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.

(

**10038**views)

**Introduction to Mathematical Philosophy**

by

**Bertrand Russell**-

**University of Massachusetts Amherst**

A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.

(

**11072**views)