Free Delivery Over $100
9743 books were found.
THE EDITORS v TABLE OF CONTENTS PREFACE v PART 1/ PROOF THEORY GEORG KREISEL / Some Facts from the Theory of Proofs... Read More >>
The series, founded in 1970, publishes works which either combine studies in the history of philosophy with a systematic... Read More >>
Read More >>
A textbook/software package that covers first-order language in a method appropriate for a wide range of courses,... Read More >>
The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all,... Read More >>
The programme was designed to consist of four sections with the headings Classical and Intuitionist Logic, Modal... Read More >>
The humanist treatises presented here are only peripheral to the history of logic, but I think historians of logic... Read More >>
Instead of saying that the moral properties of x are essentially independent of the individual aspects of x, we... Read More >>
Presentations and discussions at the symposium focused themselves into five areas: ancient semantics, modern research... Read More >>
In 1968 Jean van Heijenoort published an edition of Herbrand's... Read More >>
The aim of this monograph is to expound the conceptions of temporalized modality at issue in various Arabic logical... Read More >>
cake, even though it is typically given the pride of place in expositions in Frege's semantics. As a part of this... Read More >>
A system of philosophy of the sort presented in this and the following volumes begins with logic. The philosophical... Read More >>
When asked in 1962 on what he was working Kazimierz Ajdukiewicz replied: Several years ago Polish Scientific Publishers... Read More >>
This system serves as a basis upon which a variety of further sys tems are constructed, including, among others,... Read More >>
One of the problems raised by propositions, the problem of deter mining whether propositions, statements or sentences... Read More >>
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their... Read More >>
Developing Instinctive Analytical Skills in Students Becoming a Critical Thinker: A User Friendly Manual trains... Read More >>
Counterfactual Thinking - Counterfactual Writing Read More >>
Most modern epistemologies violate philosophical conditions of sense, as first formulated by Kant, because they... Read More >>
Anyone reflecting on the methodology of legal reasoning faces a difficult task. Perhaps the most striking difficulty... Read More >>
Presents a project based on the belief that what we call 'intelligence' can be understood and reproduced as 'the... Read More >>