 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
| |
|
