Free Delivery Over $100
5434 books were found.
Read More >>
A formal system is broadly defined as any well-defined system of abstract thought based on the model of mathematics.... Read More >>
This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with... Read More >>
The ability to spot the difference is actually an acquired skill. It can be taught and it can be mastered through... Read More >>
In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously... Read More >>
Descent in Buildings begins with the resolution of a major open question about the local structure of Bruhat-Tits... Read More >>
The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.... Read More >>
An Unabridged Printing, To Include Updated Typeface Read More >>
This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator... Read More >>
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal... Read More >>
This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned... Read More >>
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization... Read More >>
Mathematician George Boole's An Investigation of the Laws of Thought is considered to be a seminal work on algebraic... Read More >>
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS,... Read More >>
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. After a laudatio... Read More >>
it is often used as a ‘secret weapon’ by those who know the technique.This book illuminates the subject with some... Read More >>