Free shipping within Australia, international delivery available
Logic for Mathematicians is a definitive and essential resource designed specifically for the mathematical practitioner. Moving beyond the abstract or purely philosophical approaches often found in logic textbooks, this work focuses on the practical tools of symbolic logic that underpin daily mathematical reasoning. Author J. Barkley Rosser provides a comprehensive guide that begins from first principles, ensuring the reader becomes a competent operator in symbolic logic as a means to achieve greater precision in their work. By condensing and refining the foundational techniques of historical texts like Principia Mathematica, this volume offers a modern, efficient, and highly relevant methodology. It features numerous examples drawn from diverse mathematical fields and includes detailed exercises, making it an ideal choice for both classroom instruction and independent study. With updated appendices covering advanced topics such as the axiom of choice, nonstandard analysis, and the axiom of infinity, this second edition remains an indispensable bridge between theoretical logic and applied mathematics, offering clarity to those seeking to master the principles that govern modern mathematical thought.
Used (good, see images, some cover markings) Hardcover ISBN 0828402949
