Shopping Cart
itemsitem
$53.99
An Invitation to Abstract Mathematics
Undergraduate Texts in Mathematics
This undergraduate textbook is intended primarily for a transition course into higher mathematics, although it is written with a broader audience in mind. The heart and soul of this book is problem solving, where each problem is carefully chosen to clarify a concept, demonstrate a technique, or to enthuse. The exercises require relatively extensive arguments, creative approaches, or both, thus$71.99
An Introduction to Recursion Theory
Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the$80.99
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a$12.99
An Introduction to Algebraic Structures
Intended for a one-semester course, this superb, self-contained text acquaints students with abstract algebra and offers them computational practice with many exercises. It covers sets and numbers, elements of set theory, real numbers, the theory of groups, group isomorphism and homomorphism, theory of rings, and polynomial rings. 1969 edition.$17.59
$54.39
Canonical Ramsey Theory on Polish Spaces
Cambridge Tracts in Mathematics (Book #202)
This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has$10.95
Real Variables with Basic Metric Space Topology
Designed for a first course in real variables, this text presents the fundamentals for more advanced mathematical work, particularly in the areas of complex variables, measure theory, differential equations, functional analysis, and probability. Geared toward advanced undergraduate and graduate students of mathematics, it is also appropriate for students of engineering, physics, and economics who