Free Delivery Over $100
5407 books were found.
Richard Tieszen analyzes, develops, and defends the writings of Kurt Gödel (1906-1978) on the philosophy and foundations... Read More >>
Read More >>
First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on... Read More >>
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic,... Read More >>
This gentle introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht–Fraïssé... Read More >>
This book is about how mathematical innovation can help us gain deeper insight into the structure of the physical... Read More >>
Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation... Read More >>
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic.... Read More >>
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship... Read More >>
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships... Read More >>
analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius),... Read More >>
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic:... Read More >>
Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt G--ouml--;del's... Read More >>
The change of the design of logic networks from skills and art into a scientific discipline was possible by the... Read More >>
Top researchers in the mathematical foundations of physics explore how innovation can foster deeper insight into... Read More >>
this section gained proofs of the Schroeder–Bernstein theorem and the Trichotomy Law for Sets, and lost most of... Read More >>
How to Pass Numerical Reasoning Tests is designed to help candidates who are lacking practice or confidence. An... Read More >>