Set theory

In recent years, applied mathematics has been used in all novel disciplines of scientific development.

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015.

A short introduction ideal for students learning category theory for the first time.

This book presents the concept of cryptcoding which arises from the need to obtain secure and accurate transmission.

Presents those methods of modern set theory most applicable to other areas of pure mathematics.

Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.

The two works titled "e;What Are and What Should the Numbers Be?

The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981.

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.

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering.

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

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction.

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject.

Parabola is a mathematics magazine published by UNSW, Sydney.

This book has enjoyed considerable use and appreciation during its first four editions.

This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place.

Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients).

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems.

Ancient times witnessed the origins of the theory of continued fractions.

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 Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition.

Solomon Feferman has shaped the field of foundational research for nearly half a century.

An exploration of the construction and analysis of translation planes to spreads, partial spreads, co-ordinate structures, automorphisms, autotopisms, and collineation groups.

The book is devoted to various constructions of sets which are nonmeasurable with respect to invariant (more generally, quasi-invariant) measures.

The philosophy of mathematics is an exciting subject.

The edited volume includes papers in the fields of fuzzy mathematical analysis and advances in computational mathematics.

This monograph is a testament to the potency of the method of singular integrals of layer potential type in solving boundary value problems for weakly elliptic systems in the setting of Muckenhoupt-weighted Morrey spaces and their pre-duals.

A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field.

Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders.

The Language of Symmetry is a re-assessment of the structure and reach of symmetry, by an interdisciplinary group of specialists from the arts, humanities, and sciences at Oxford University.

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.

Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this 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.

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

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

A short introduction ideal for students learning category theory for the first time.

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

Naive Set Theory: A Rigorous Approach aims to provide a complete and unitary presentation of naive set theory as the foundation of the whole mathematics.

This monograph is a testament to the potency of the method of singular integrals of layer potential type in solving boundary value problems for weakly elliptic systems in the setting of Muckenhoupt-weighted Morrey spaces and their pre-duals.

Model theory is one of the central branches of mathematical logic.

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.

For those who wonder if the forcing theory is beyond their means: no.

This English translation of the author's original work has been thoroughly revised, expanded and updated.

This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming.

Although this book deals with basic set theory (in general, it stops short of areas where model-theoretic methods are used) on a rather advanced level, it does it at an unhurried pace.

The most seminal collection of papers of descriptive set theory reprinted and put into the modern research context.

Type-2 fuzzy sets extend both ordinary and interval-valued fuzzy sets to allow distributions, rather than single values, as degrees of membership.