Welcome to E-Books Directory
This is a freely downloadable e-book.
Symbolic Logic: A Second Course
Read this book online or download it here for free
Custom Search
Symbolic Logic: A Second Course
by Gary Hardegree
Publisher: UMass Amherst 2003
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.