Free Delivery Over $100
5407 books were found.
This report was created for strategic planners, international marketing executives and export managers whose primary... Read More >>
Read More >>
Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. This... Read More >>
Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model... Read More >>
Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this... Read More >>
a ~Mathematicians, like Proust and everyone else, are at their best when writing about their first lovea (TM) a... Read More >>
The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at... Read More >>