1,927 219 3MB
English Pages [245] Year 1952
Report DMCA / Copyright
DOWNLOAD FILE
Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introd
2,098 289 4MB Read more
An text for introducing both formal and philosophical logic.
971 141 8MB Read more
1,308 358 103MB Read more
This book is one of the clearest, most comprehensive and rigorous introductions to modern symbolic logic available in an
1,384 226 3MB Read more
898 144 8MB Read more
This accessible, SHORT introduction to symbolic logic includes coverage of sentential and predicate logic, translations,
639 125 8MB Read more
2,930 490 34MB Read more
998 216 5MB Read more
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In p
811 149 4MB Read more
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that
2,493 406 4MB Read more