Free Delivery Over $100
9727 books were found.
Thirdly, several chapters are dedicated to a discussion of Constructive Type Theory and more generally of the proof-theoretical... Read More >>
This volume of the Logica Yearbook series brings together articles presented at the annual international symposium... Read More >>
Read More >>
Excerpt from The Logic of Style: An Introduction to Critical Science Section I. The Principle of Quantity, 19 section... Read More >>
An elementary text on logic - presented as an entertaining way to solve problems. Read More >>
Excerpt from The Nature of Truth: An Essay The following Essay does not pretend to establish a new theory. Its object... Read More >>
Excerpt from Logic, Inductive and Deductive Since these sentences were written, the author of this book has died;... Read More >>
Perhaps the most counterintuitive property of classical logic (as well as of its most famous rival, intuitionistic... Read More >>
Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on... Read More >>
Excerpt from A Series of Lectures Upon Locke's Essay In such an inquiry there are necessarily considerable difficulties... Read More >>
About the Book Books on Philosophy consider the ideas of philosophers through the ages about fundamentals of... Read More >>
On s'est souvent demandé, tout en déplorant la mort prématurée de Descartes à cinquante-trois ans, si, par une vie... Read More >>
Excerpt from A Study of Mathematical Education Including the Teaching of Arithmetic This study is based upon twenty... Read More >>
Let Immanuel, the fox, and his Igno friends take you on an ignoble adventure. With a detailed parent/teacher guide... Read More >>
La logique classique pr sente des limites connues depuis son origine. On range n gligemment ces situations, pourtant... Read More >>
This volume is a result of the international symposium “The Tradition of the Lvov-Warsaw School in European Culture,”... Read More >>
This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived... Read More >>
Oceanic logic was never identified as such, but the author gives numerous examples of its use from the history of... Read More >>
Provides philosophers, logicians, and historians with a full translation of Quine's 1942 Portuguese language book,... Read More >>
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding... Read More >>