A Manual of Intensional Logic
by Johan van Benthem
Publisher: CSLI 1988
Number of pages: 147
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.
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.
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.
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.
by Arnold W. Miller - arXiv
This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.