Bienvenue à la Bibliothèque Alo de l'Université Shalom de Bunia
Détail de l'auteur
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la recherche
document électronique
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...
Ajouter au panier
