This well-written text provides excellent instruction in basic real analysis, giving a solid foundation for direct entry into advanced work in such fields as complex analysis, differential equations……続きを見る
Designed as a method for teaching correct mathematical thinking to high school students, this book contains a brilliantly constructed series of what the authors call "lapses," erroneous statements t……続きを見る
Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of pro……続きを見る
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.
In Part One (Chapt……続きを見る
A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically a……続きを見る
One of the best books on a relatively new branch of mathematics, this text is the work of a leading authority in the field of topos theory. Suitable for advanced undergraduates and graduate students……続きを見る