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 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.
by Vilnis Detlovs, Karlis Podnieks - University of Latvia
From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
by Stephen G. Simpson - Pennsylvania State University
Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.
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.