Montant total (1 article articles) :
Destination de la commande :
decision procedures elementary sublanguages de cantone schwartz (7 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (7)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (6)
- Comme neuf, Très bon ou Bon (Aucun autre résultat ne correspond à ces critères)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (2)
- Sans impressions à la demande (4)
Langue (2)
Prix
- Tous les prix
- Moins de EUR 20
- EUR 20 à EUR 45
- Plus de EUR 45 (Aucun autre résultat ne correspond à ces critères)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Decision Procedures for Elementary Sublanguages of set Theory. V. Multilevel Syllogistic Extended by the General Union Operator
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,32
Autre deviseEUR 25,52 expédition depuis Etats-Unis vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Decision Procedures for Elementary Sublanguages of set Theory. XI. Multilevel Syllogistic Extended by Some Elementary map Constructs
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 21,04
Autre deviseEUR 25,52 expédition depuis Etats-Unis vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Decision Procedures for Elementary Sublanguages of set Theory. VI. Multi-level Syllogistic Extended by the Powerset Operator
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 21,04
Autre deviseEUR 25,52 expédition depuis Etats-Unis vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator 1984 [Leather Bound]
Vendeur : Gyan Books Pvt. Ltd., Delhi, Inde
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,50
Autre deviseEUR 3 expédition depuis Inde vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panier -
Decision Procedures for Elementary Sublanguages of Set Theory: XI
Vendeur : Forgotten Books, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 15,19
Autre deviseEUR 11,46 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. Print on Demand. This book extends the decision procedures for set theory previously developed by the author for quantied and unquantied languages. This eleventh volume of the series builds upon prior work by examining set operators, set predicates, cardinality operators, cardinality predicates and function operators within elementary Boolean connectives. It presents a finite and uniform procedure that decides whether a given formula possesses a model or not, reducing the problem to the satisability problem for conjunctions of atoms. By way of disjunctive normal form, it is demonstrated that constructs like set difference or the Singleton predicate are equisatisfiable to conjunctions of positive atoms. The author demonstrates the satisability problem for three-sorted language, which properly extends the purely set-theoretical part of the theory considered in previous volumes, exhibiting a finite and uniform procedure that is capable of deciding whether a given formula has a model. The book concludes by considering D, INV, SINGLEVALUED, PAIRIN as operators, discussing their satisability conditions, and arguing that the class of formulas in the language of the book has a solvable satisability problem. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Decision Procedures for Elementary Sublanguages of set Theory. XI. Multilevel Syllogistic Extended by Some Elementary map Constructs
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,33
Autre deviseEUR 10,15 expédition depuis Royaume-Uni vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 36.
-
Decision Procedures for Elementary Sublanguages of set Theory. VI. Multi-level Syllogistic Extended by the Powerset Operator
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,38
Autre deviseEUR 10,15 expédition depuis Royaume-Uni vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 42.
![Image du vendeur pour Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator 1984 [Leather Bound] mis en vente par Gyan Books Pvt. Ltd.](https://pictures.abebooks.com/inventory/md/md31421900106.jpg)