Hardcover:

Hardcover:

Hardcover:

*About this edition:*An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.

Paperback:

Paperback:

Hardcover:

Hardcover:

Hardcover:

*About this edition:*Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts.

Hardcover:

Hardcover:

CD/Spoken Word:

Paperback:

Hardcover:

*About this edition:*"The book is divided into 8-10 chapters that are each only 2 or 3 pages long … this feels like a nice feature of the book, since you can dip in and just read a short bite before moving on.

Paperback:

*About this edition:*"The book is divided into 8-10 chapters that are each only 2 or 3 pages long .

Hardcover:

Hardcover:

Hardcover:

Paperback:

Hardcover:

Hardcover:

*About this edition:*This is a systematic and well-paced introduction to mathematical logic.

Paperback:

*About this edition:*This is a systematic and well-paced introduction to mathematical logic.

Hardcover:

*About this edition:*Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics.

Hardcover:

*About this edition:*An introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, important order-theoretical constructions and classes of ordered sets.

Hardcover:

Hardcover:

*About this edition:*This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China.

Hardcover:

Paperback:

*About this edition:*This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics.

Hardcover:

*About this edition:*This book is a sequel to my Beginner's Guide to Mathematical Logic.

Paperback:

*About this edition:*This is the final book written by the late great puzzle master and logician, Dr.

Hardcover:

*About this edition:*The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

Paperback:

*About this edition:*This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.