Free Delivery Over $100
5407 books were found.
In this groundbreaking volume, leading philosophers and mathematicians explore almost every aspect of Kurt Gödel's... Read More >>
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic... Read More >>
An Unabridged Printing, To Include Updated Typeface Read More >>
Alfred Tarski (1901–1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped... Read More >>
This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of... Read More >>
Connect Math Hosted by ALEKS is an online assignment and assessment platform that helps students connect to their... Read More >>
In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos... Read More >>
This book brings together contributions by leading researchers in computational complexity theory written in honor... Read More >>
Read More >>
Combining stories of great writers and philosophers with quotations and riddles, this completely original text for... Read More >>
The tenth edition of Mathematics for Elementary Teachers: A Conceptual Approach continues the innovative time-tested... Read More >>
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at... Read More >>
Few mathematical results capture the imagination like Georg Cantor's theory of infinity. Bridging the gap between... Read More >>
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques... Read More >>
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael... Read More >>
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association... Read More >>