This book introduces the technical tools and concepts that are
indispensable for advanced work in philosophy. Beginning with the
fundamentals of set theory, the author guides the reader through
relations, functions and the theory of arithmetic before using
these tools to clarify the metatheory of the predicate calculus.
There are discussions of recursive definitions, Godel's Theorem,
and completeness for the predicate calculus. The text emphasizes
the structure of these systems and the metatheory behind them.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!