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 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.
by Gary Hardegree - UMass Amherst
Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.
by Wolfram Pohlers, Thomas Glass
This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.