Set Theory & Logic

Per Page:

Analysis and Control of Finite-Value Systems

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

The Universal Computer: The Road from Leibniz to Turing, Third Edition

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

A Concrete Introduction to Real Analysis

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

Essentials of Mathematical Thinking

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

Transition to Analysis with Proof

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

The Elements of Advanced Mathematics

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

Strange Functions in Real Analysis

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

Beyond First Order Model Theory

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

Exploring the Infinite: An Introduction to Proof and Analysis

Jennifer Brooks
December 08, 2016

Exploring the Infinite addresses the trend toward a combined transition course and introduction to analysis course. It guides the reader through the processes of abstraction and log- ical argumentation, to make the transition from student of mathematics to practitioner of mathematics. This...

A Bridge to Higher Mathematics

Valentin Deaconu, Donald C. Pfaff
December 05, 2016

A Bridge to Higher Mathematics is more than simply another book to aid the transition to advanced mathematics. The authors intend to assist students in developing a deeper understanding of mathematics and mathematical thought. The only way to understand mathematics is by doing mathematics. The...

Handbook of Mathematical Induction: Theory and Applications

David S. Gunderson
November 16, 2016

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of...

Handbook of Finite State Based Models and Applications

Jiacun Wang
November 16, 2016

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. Handbook of Finite State Based Models and Applications provides a...