Set theory

Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory.

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number.

Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts.

This book provides a comprehensive exposition of the use of set-theoretic methods in abelian group theory, module theory, and homological algebra, including applications to Whitehead's Problem, the structure of Ext and the existence of almost-free modules over non-perfect rings.

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi.

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic.

This book deals with two important branches of mathematics, namely, logic and set theory.

The theory of the measure of noncompactness has proved its significance in various contexts, particularly in the study of fixed point theory, differential equations, functional equations, integral and integrodifferential equations, optimization, and others.

A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians.

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.

This book presents the theory of proper forcing and its relatives from the beginning.

The philosophy of mathematics is an exciting subject.

This book presents a collection of recent research on topics related to Pythagorean fuzzy set, dealing with dynamic and complex decision-making problems.

This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling.

A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.

This volume contains proceedings of the 1998 European Summer Meeting of the Association for Symbolic Logic held at the University of Economics, Prague.

Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic.

Kurt Godel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems.

This book makes a significant inroad into the unexpectedly difficult question of existence of Frechet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces.

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject.

This book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science.

This volume contains proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria in August, 2001.

Provides a general framework for doing geometric group theory for non-locally-compact topological groups arising in mathematical practice.

This book deals with two important branches of mathematics, namely, logic and set theory.

Set theory can be considered a unifying theory for mathematics.

A Concrete Introduction to Analysis, Second Edition offers a major reorganization of the previous edition with the goal of making it a much more comprehensive and accessible for students.

A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition.

This book is about "e;diamond"e;, a logic of paradox.

Introduction to Math Olympiad Problems aims to introduce high school students to all the necessary topics that frequently emerge in international Math Olympiad competitions.

This book brings the researcher up to date with recent applications of mathematical logic to number theory.

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences.

This comprehensive introductory textbook is designed for undergraduate mathematics students seeking to gain a strong understanding of fuzzy sets and relations.

This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers.

Set theory can be considered a unifying theory for mathematics.

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems.

Mofidul Islam is researcher in Deptt.

This volume presents the proceedings of two major international meetings on mathematical logic held in Münster, Germany, in August 2002.

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers.

The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master.

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof.

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice.

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas.