๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โฌ‡  Acquire This Volume

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


Logic: Deductive and Inductive
โœ Carveth Read ๐Ÿ“‚ Library ๐Ÿ“… 1914 ๐Ÿ› Dodo Press ๐ŸŒ English

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

Elementary Lesson in Logic: Deductive an
โœ Jevons W.S. ๐Ÿ“‚ Library ๐ŸŒ English

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