Mathematics and Logic by Mark Kac, Stanislaw M. Ulam Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computers, more. Includes 34 illustrations. 1968 edition.
all books in Western Philosophy and Religion
|  |
|  | Introduction to Logic by Patrick Suppes Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.
all books in Logic
|  |
|
Abstract and Concrete Categories: The Joy of Cats by Jiri Adamek, Horst Herrlich, George E Strecker This up-to-date introductory treatment employs category theory to explore the theory of structures. Its unique approach stresses concrete categories and presents a systematic view of factorization structures. Numerous examples. 1990 edition, updated 2004.
all books in Set Theory
|  |
|  | |
Logic for Mathematicians by J. Barkley Rosser Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." — Bulletin of the American Mathematical Society. 1978 edition.
all books in Logic
|  |
|  | Toposes and Local Set Theories: An Introduction by J. L. Bell This introduction to topos theory examines local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. 1988 edition.
all books in Logic
|  |
|