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.

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

Fixed-point theory initially emerged in the article demonstrating existence of solutions of differential equations, which appeared in the second quarter of the 18th century (Joseph Liouville, 1837). Later on, this technique was improved as a method of successive approximations (Charles Emile Picard, 1890) which was extracted and abstracted as a fixed-point theorem in the framework of complete normed space (Stefan Banach, 1922). It ensures presence as well as uniqueness of a fixed point, gives an approximate technique to really locate the fixed point and the a priori and a posteriori estimates for the rate of convergence. It is an essential device in the theory of metric spaces. Subsequently, it is stated that fixed-point theory is initiated by Stefan Banach. Fixed-point theorems give adequate conditions under which there exists a fixed point for a given function and enable us to ensure the existence of a solution of the original problem. In an extensive variety of scientific issues, beginning from different branches of mathematics, the existence of a solution is comparable to the existence of a fixed point for a suitable mapping. The book "Fixed Point Theory & its Applications to Real World Problems" is an endeavour to present results in fixed point theory which are extensions, improvements and generalizations of classical and recent results in this area and touches on distinct research directions within the metric fixed-point theory. It provides new openings for further exploration and makes for an easily accessible source of knowledge. This book is apposite for young researchers who want to pursue their research in fixed-point theory and is the latest in the field, giving new techniques for the existence of a superior fixed point, a fixed point, a near fixed point, a fixed circle, a near fixed interval circle, a fixed disc, a near fixed interval disc, a coincidence point, a common fixed point, a coupled common fixed point, amiable fixed sets, strong coupled fixed points and so on, utilizing minimal conditions. It offers novel applications besides traditional applications which are applicable to real world problems. The book is self-contained and unified which will serve as a reference book to researchers who are in search of novel ideas. It will be a valued addition to the library.

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.