**The Art of Logic**

by Nuel Belnap

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

**Description**:

Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.

Download or read it online for free here:

**Download link**

(950KB, PDF)

## Similar books

**A Problem Course in Mathematical Logic**

by

**Stefan Bilaniuk**

An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.

(

**15393**views)

**A Friendly Introduction to Mathematical Logic**

by

**Christopher C. Leary, Lars Kristiansen**-

**Milne Library Publishing**

In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.

(

**3067**views)

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

(

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

(

**5789**views)