**A Manual of Intensional Logic**

by Johan van Benthem

**Publisher**: CSLI 1988**Number of pages**: 147

**Description**:

An examination of the role of partial information -- with illustrations drawn from different branches of Intensional Logic -- and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types.

*This document is no more available for free.*

## Similar books

**The Haskell Road to Logic, Maths and Programming**

by

**Kees Doets, Jan van Eijck**-

**College Publications**

The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.

(

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

(

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

(

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

(

**7677**views)