**Notes on the Science of Logic**

by Nuel Belnap

**Publisher**: University of Pittsburgh 2009**Number of pages**: 227

**Description**:

This course assumes you know how to use truth functions and quantifiers as tools. Our principal task here will be to study these very tools; we shall be engaged in part of the science of logic. Contents: Preliminaries; The logic of truth functional connectives; The first order logic of extensional predicates, operators, and quantifiers.

Download or read it online for free here:

**Download link**

(750KB, PDF)

## Similar books

**Topics in Logic and Foundations**

by

**Stephen G. Simpson**-

**The Pennsylvania State University**

This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.

(

**5608**views)

**An Introduction to Mathematical Logic**

by

**Wolfram Pohlers, Thomas Glass**

This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.

(

**13223**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.

(

**15369**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.

(

**13018**views)