Symbolic Logic: A First Course
by Gary Hardegree
Publisher: Mcgraw-Hill College 1999
ISBN/ASIN: 0072390271
ISBN-13: 9780072390278
Number of pages: 468
Description:
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; Derivations in Predicate Logic.
Download or read it online for free here:
Download link
(multiple PDF files)
Similar books
Symbolic Logic: A Second Courseby 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.
(7201 views)
Logics of Time and Computationby Robert Goldblatt - Center for the Study of Language
Sets out the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the dynamic logic of regular programs.
(5692 views)
Predicative Arithmeticby Edward Nelson - Princeton Univ Pr
The book based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, and more.
(11869 views)
forall x: An Introduction to Formal Logicby P.D. Magnus
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
(11370 views)