Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.

Advanced undergraduate or beginning graduate students need a unified foundation for their study of geometry, analysis, and algebra. For the first time, this book uses categorical algebra to build such a foundation, starting from intuitive descriptions of mathematically and physically common phenomena and advancing to a precise specification of the nature of Categories of Sets. Set theory as the algebra of mappings is introduced and developed as a unifying basis for advanced mathematical subjects such as algebra, geometry, analysis, and combinatorics. The formal study evolves from general axioms that express universal properties of sums, products, mapping sets, and natural number recursion.

In recent years there has been a growing interest in the interactions between descriptive set theory and various aspects of the theory of dynamical systems, including ergodic theory and topological dynamics. This volume, first published in 2000, contains a collection of survey papers by leading researchers covering a wide variety of recent developments in these subjects and their interconnections. This book provides researchers and graduate students interested in either of these areas with a guide to work done in the other, as well as with an introduction to problems and research directions arising from their interconnections.

In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful `Dramatis Personae` an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme.

This text presents methods of modern set theory as tools that can be usefully applied to other areas of mathematics. The author describes numerous applications in abstract geometry and real analysis and, in some cases, in topology and algebra. The book begins with a tour of the basics of set theory, culminating in a proof of Zorn's Lemma and a discussion of some of its applications. The author then develops the notions of transfinite induction and descriptive set theory, with applications to the theory of real functions. The final part of the book presents the tools of "modern" set theory: Martin's Axiom, the Diamond Principle, and elements of forcing. Written primarily as a text for beginning graduate or advanced level undergraduate students, this book should also interest researchers wanting to learn more about set theoretical techniques applicable to their fields.

"From the Calculus to Set Theory" traces the development of the calculus from the early seventeenth century through its expansion into mathematical analysis to the developments in set theory and the foundations of mathematics in the early twentieth century. It chronicles the work of mathematicians from Descartes and Newton to Russell and Hilbert and many, many others while emphasizing foundational questions and underlining the continuity of developments in higher mathematics. The other contributors to this volume are H. J. M. Bos, R. Bunn, J. W. Dauben, T. W. Hawkins, and K. Moller-Pedersen."

The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wojcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills this niche. Citkin and Muravitsky consider the problem of obtaining confirmation that a statement is a consequence of a set of statements as prerequisites, on the one hand, and the problem of demonstrating that such confirmation does not exist in the structure under consideration, on the other hand. For the second part of this problem, the concept of the Lindenbaum-Tarski algebra plays a key role, which becomes even more important when the considered consequence relation is placed in the context of decidability. This role is traced in the book for various formal objective languages. The work also includes helpful exercises to aid the reader's assimilation of the book's material. Intended for advanced undergraduate and graduate students in mathematics and philosophy, this book can be used to teach special courses in logic with an emphasis on algebraic methods, for self-study, and also as a reference work.

In recent years, substantial efforts are being made in the development of reliability theory including fuzzy reliability theories and their applications to various real-life problems. Fuzzy set theory is widely used in decision making and multi criteria such as management and engineering, as well as other important domains in order to evaluate the uncertainty of real-life systems. Fuzzy reliability has proven to have effective tools and techniques based on real set theory for proposed models within various engineering fields, and current research focuses on these applications. Advancements in Fuzzy Reliability Theory introduces the concept of reliability fuzzy set theory including various methods, techniques, and algorithms. The chapters present the latest findings and research in fuzzy reliability theory applications in engineering areas. While examining the implementation of fuzzy reliability theory among various industries such as mining, construction, automobile, engineering, and more, this book is ideal for engineers, practitioners, researchers, academicians, and students interested in fuzzy reliability theory applications in engineering areas.

Kantorovich, the late Nobel Laureate, was a respected mathematical economist, and one of the founding fathers of linear programming. Part I begins with chapters on the theory of sets and real functions. Topics treated include universal functions, W.H. Young's classification, generalized derivatives of continuous functions and the H. Steinhaus problem. The book also includes papers on the theory of projective sets, general and particular methods of the extension of Hilbert space, and linear semi-ordered spaces. The author deals with a number of approximate calculations and solutions including a discussion of an approximate calculation of certain types of definite integrals, and also a method for the approximate solution of partial differential equations. In addition to this, the author looks at various other methods, including the Ritz method, the Galerkin method in relation to the reduction of differential equations and the Newton methods for functional equations. Towards the end of the book there are several chapters on computers.