Designed to be the foundation for a two-semester course, this book
investigates mathematical logic. Separated from philisophical logic
through the use of the mathematical method to investigate and
explain, the basic premise of mathematical logic is that every
reasonable mathematical system is intrinsically incomplete. There
will always be mathematical problems that cannot be solved. This
premise forms the basis of Godel's famous incompleteness theorum
and is the main paradigm of the book. Exercises are provided at the
end of each section to supplement the abstract concepts that are
the authors' primary focus.
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!