Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Handbook of philosophical logic [Texte électronique] / edited by D.M. Gabbay and F. Guenthner
Édition : 2nd ed.
Publication : Dordrecht ; Boston : Kluwer Academic Publishers, cop. 2001-
Description matérielle : 1 online resource (volumes <1->)
Collection : Handbook of Philosophical Logic
Note(s) : Includes bibliographical references and index
The first edition of the Handbook of Philosophical Logic (four volumes) was published
in the period 1983-1989 and has proven to be an invaluable reference work to both
students and researchers in formal philosophy, language and logic. The second edition
of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date
authoritative, in-depth coverage of all major topics in philosophical logic and its
applications in many cutting-edge fields relating to computer science, language, argumentation,
etc. The volumes will no longer be as topic-oriented as with the first edition because
of the way the subject has evolved over the last 15 years or so. However the volumes
will follow some natural groupings of chapters
Autre(s) auteur(s) : Guenthner, Franz. Fonction indéterminée
Gabbay, Dov M. (1945-....). Fonction indéterminée
Sujet(s) : Philosophie
Linguistique
Sciences humaines
Sciences sociales
Indice(s) Dewey :
160 (23e éd.) = Logique philosophique
Identifiants, prix et caractéristiques : ISBN 9781402030925 . - ISBN 9781402035210 . - ISBN 9781402063244 . - ISBN 9789400704855
Identifiant de la notice : ark:/12148/cb44725396j
Notice n° :
FRBNF44725396
(notice reprise d'un réservoir extérieur)
Table des matières : Elementary Predicate Logic /Wilfrid Hodges1 ; Systems Between First-order and Second-order
Logic /Stewart Shapiro131 ; Higher-Order Logic /Johan van Benthem, Kees Doets189 ;
Algorithms and Decision Problems: A Crash Course in Recursion Theory /Dirk van Dalen245
; Mathematics of Logic Programming /Hans Dieter Ebbinghaus, Jorg Flum313