Logic, Induction and Sets
โ Scribed by Thomas Forster
- Publisher
- Cambridge University Press
- Year
- 2003
- Tongue
- English
- Leaves
- 245
- Series
- London Mathematical Society Student Texts
- Edition
- First Edition
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.
๐ SIMILAR VOLUMES
Professor Carveth Read (1848-1931) was a 19th and 20th century British philosopher and logician. He was Professor of Philosophy at University College London. His works include: The Theory of Logic (1878), Logic: Deductive and Inductive (1898), The Metaphysics of Nature (1905), Natural and Social Mo
London, New York: The Mises Institute, 2010. โ 362 p.<div class="bb-sep"></div>With copious questions and examples, and a vocabulary of logical terms.<div class="bb-sep"></div>This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as ma