Symbolic Logic: A Second Course
by Gary Hardegree
Publisher: UMass Amherst 2003
Number of pages: 246
Description:
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.
Download or read it online for free here:
Download link
(multiple PDF files)
Similar books
Introduction to Mathematical Logic: A problem solving courseby 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.
(10473 views)
Actual Causalityby Joseph Y. Halpern - The MIT Press
In this book, Joseph Halpern explores actual causality, and such related notions as degree of responsibility, degree of blame, and causal explanation. The goal is to arrive at a definition of causality that matches our natural language usage.
(414 views)
A Problem Course in Mathematical Logicby 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.
(16685 views)
Logic For Everyoneby Robert A. Herrmann
This is Robert Herrmann's elementary book in mathematical logic that includes all basic material in the predicate and propositional calculus presented in a unique manner. Neither proof requires specialized mathematical procedures.
(12601 views)