**Symbolic Logic: A First Course**

by Gary Hardegree

**Publisher**: Mcgraw-Hill College 1999**ISBN/ASIN**: 0072390271**ISBN-13**: 9780072390278**Number of pages**: 468

**Description**:

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; Derivations in Predicate Logic.

Download or read it online for free here:

**Download link**

(multiple PDF files)

## Similar books

**Notes on the Science of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.

(

**7175**views)

**What is Mathematics: Gödel's Theorem and Around**

by

**Karlis Podnieks**-

**University of Latvia**

Textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Godel's Theorem.

(

**3386**views)

**Logic for Computer Scientists**

by

**Uli Furbach**-

**Wikibooks**

This book is intended for computer scientists and it assumes only some basic mathematical notions like relations and orderings. The aim was to create an interactive script where logics can be experienced by interaction and experimentation.

(

**6507**views)

**Natural Topology**

by

**Frank Waaldijk**-

**arXiv**

We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.

(

**5384**views)