A stimulating account that cuts across various disciplines--including artificial intelligence, logic, and computer science--to illuminate the nature and importance of vagueness

Marion shows that study of Wittenstein's writings on mathematics is essential to a proper understanding of his philosophy

This text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

An investigation into the different kinds of visual thinking involved in mathematical thought, with chapters on basic geometry, arithmetic, algebra, and more advanced mathematics.