Bienvenue à la Bibliothèque Alo de l'Université Shalom de Bunia
Ajouter au panier
| Titre : | Handbook of Philosophical Logic: Volume 1: Elements of Classical Logic (Synthese Library) |
| Auteurs : | Dov Gabbay |
| Type de document : | document électronique |
| Editeur : | [S.l.] : Springer, 1983 |
| ISBN/ISSN/EAN : | 978-90-277-1542-5 |
| Index. décimale : | 160 (Logique) |
| Résumé : |
This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. *Audience:* Students and researchers whose work or interests involve philosophical logic and its applications. |
