**Gove Effinger, Gary L. Mullen**

October 28, 2019

An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role. The text is organized into five basic parts: the first looks back on selected topics from pre-calculus and calculus, treating them more...

**Nicholas A. Loehr**

October 11, 2019

An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics. No...

**Walter Alexandr Carnielli**

October 02, 2019

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. It also presents several systems of non-standard logics with paraconsistent features....

**Hung T. Nguyen**

September 19, 2019

The study of random sets is a large and rapidly growing area with connections to many areas of mathematics and applications in widely varying disciplines, from economics and decision theory to biostatistics and image analysis. The drawback to such diversity is that the research reports are...

**Kenneth E. Hummel**

September 05, 2019

Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm. As the focus of calculus instruction has become increasingly computational, it leaves many students ill prepared for more advanced work that requires the...

**Jiacun Wang, William Tepfenhart**

July 03, 2019

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines,...

**Bruno Dinis, Imme van den Berg**

June 24, 2019

Neutrices and External Numbers: A Flexible Number System introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations. The model is formulated in terms of scalar neutrices and external numbers, in the form of an extension of...

**Michael Z. Spivey**

May 14, 2019

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). The binomial coefficients arise in a variety of areas...

**Neil R. Nicholson**

April 02, 2019

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process. There is a lot that goes into creating a mathematical proof before writing it. Ample discussion of how to figure out the "nuts and bolts'" of the proof takes place: thought processes,...

**Mark Verus Lawson**

November 29, 2018

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics...

**Hung T. Nguyen, Carol L. Walker, Elbert A. Walker**

November 28, 2018

A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition. It provides a comprehensive introduction to the theory and applications of fuzzy logic. This popular text offers a firm mathematical basis for the calculus of fuzzy concepts necessary for...

**Haitao Li, Guodong Zhao, Peilian Guo, Zhenbin Liu**

May 15, 2018

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. These results occupy the highest position in the analysis and control of this field. It not only covers all aspects of research in...