1,918 298 34MB
English Pages 113 Year 1969
Report DMCA / Copyright
DOWNLOAD FILE
178 116 8MB Read more
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In p
491 98 4MB Read more
217 34 4MB Read more
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In par
373 84 4MB Read more
This text was developed for a course at the upper-sophomore or junior level within the mathematics curriculum. It is int
172 27 5MB Read more
Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introd
647 101 4MB Read more
1,264 173 1MB Read more
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that
1,518 262 4MB Read more
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individ
162 80 38MB Read more
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes
447 107 10MB Read more