**Michael Z. Spivey**

May 14, 2019

The book has two goals: (1) Provide a unified treatment of the binomial coefficients, and (2) Bring together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients). The binomial coefficients arise in a variety of areas of mathematics: combinatorics, of course,...

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

**Martin Davis**

February 27, 2018

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and...

**Robert Carlson**

December 06, 2017

The Second Edition offers a major re-organization of the book, with the goal of making it much more competitive as a text for students. The revised edition will be appropriate for a one- or two-semester introductory real analysis course. Like the first edition, the primary audience is the large...

**Steven G. Krantz**

November 07, 2017

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today. Increasingly, our world is driven by mathematics in all aspects of life. The book is an excellent introduction to the world of mathematics for students not majoring in mathematical studies. The...

**Steven Krantz**

November 06, 2017

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition course to lead into a first course on analysis. This combined approach allows instructors to teach a...

**Steven G. Krantz**

October 24, 2017

The Elements of Advanced Mathematics, Fourth Edition is the latest edition of the author’s bestselling series of texts. Expanding on previous editions, the new Edition continues to provide students with a better understanding of proofs, a core concept for higher level mathematics. To meet the needs...

**Alexander Kharazishvili**

October 13, 2017

Strange Functions in Real Analysis, Third Edition differs from the previous editions in that it includes five new chapters as well as two appendices. More importantly, the entire text has been revised and contains more detailed explanations of the presented material. In doing so, the book explores...

**Jose Iovino**

August 15, 2017

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for...