Set theory

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

This introduction to mathematical logic takes Godel's incompleteness theorem as a starting point.

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

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

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

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.

The authors have written an introduction to logic taking Godel's incompleteness theorem as a starting point.

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles.

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today.

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

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 book collects chapters which discuss interdisciplinary solutions to complex problems by using different approaches in order to save money, time and resources.

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking.

This is a classic introduction to set theory, from the basics through to the modern tools of combinatorial set theory.

The study of polynomial completeness of algebraic systems has only recently matured, and until now, lacked a unified treatment.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

A rigorous introduction to real analysis for undergraduates.

Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm.

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

Contemporary students of mathematics differ considerably from those of half a century ago.

Computability theory originated with the seminal work of Godel, Church, Turing, Kleene and Post in the 1930s.

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

Discrete Mathematics: An Open Introduction, Fourth Edition aims to provide an introduction to select topics in discrete mathematics at a level appropriate for first or second year undergraduate math and computer science majors, especially those who intend to teach middle and high school mathematics.

This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency.

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

Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree.

This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.

This book not only presents essential material to understand fuzzy metric fixed point theory, but also enables the readers to appreciate the recent advancements made in this direction.

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.

Represents the state of the art in the new field of synthetic differential topology.

Parabola is a mathematics magazine published by UNSW, Sydney.

A concise tour from the subject''s ancient roots towards the highest infinities and their surprising implications for the finite.

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 book collects chapters which discuss interdisciplinary solutions to complex problems by using different approaches in order to save money, time and resources.

Introduction to Fuzzy Systems provides students with a self-contained introduction that requires no preliminary knowledge of fuzzy mathematics and fuzzy control systems theory.

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory.

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process.

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

This invaluable book is a collection of 31 important - both in ideas and results - papers published by mathematical logicians in the 20th Century.

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics.

Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems.

The third in a series of four books presenting the seminal papers from the Caltech-UCLA ''Cabal Seminar''.

Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.

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

The philosophy of mathematics is an exciting subject.

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

Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree.