Quantifiers: Logics, Models and Computation -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre232,56 €
Produit Neuf
Ou 58,14 € /mois
- Livraison : 25,00 €
- Livré entre le 25 et le 30 avril
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Quantifiers: Logics, Models And Computation Format Broché - Livre Littérature Générale
0 avis sur Quantifiers: Logics, Models And Computation Format Broché - Livre Littérature Générale
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Orthodontic Treatment Of Impacted Teeth
Neuf dès 224,32 €
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
1 avis
Neuf dès 160,74 €
-
Landscape
Occasion dès 199,07 €
-
Paravents Japonais Luxe Par La Brèche Des Nuages
1 avis
Occasion dès 200,00 €
-
Yoga Art
Occasion dès 138,25 €
-
Stewart Copeland: Drumming In The Police And Beyond
Neuf dès 117,99 €
-
Traditional Chinese Patterns And Colours: Chinese Ethnic Minority Motifs (With Cd)
Occasion dès 118,35 €
-
Le Cheval Dans Les Croyances Germaniques - Paganisme, Christianisme Et Traditions
Neuf dès 164,00 €
-
Diseases Of Poultry
Neuf dès 286,82 €
-
Traduction Integrale Du Siphra Di-Tzeniutha, Le Livre Du Secret: Ouvrage Essentiel Du Sepher Ha-Zohar, Ii, Fo 176b-179a (Les Textes Fondamentaux De La Kabbale) (French Edition)
Occasion dès 181,99 €
-
Harborview Illustrated Tips And Tricks In Fracture Surgery
Neuf dès 241,08 €
-
The Book:The Ultimate Guide To Rebuilding A Civilization
1 avis
Neuf dès 153,14 €
-
Mosby's Orthodontic Review
Neuf dès 186,44 €
-
Exergy Analysis For Energy Conversion Systems
Neuf dès 154,53 €
-
Watabe Yukichi: A Criminal Investigation
1 avis
Occasion dès 140,00 €
-
Conquest And Land In Ireland
Neuf dès 118,12 €
-
The Art And Science Of Ernst Haeckel
1 avis
Neuf dès 192,08 €
Occasion dès 120,00 €
-
J W Waterhouse
Occasion dès 125,15 €
-
The Gothic And The Eldritch
1 avis
Occasion dès 336,38 €
-
Playboy: The Complete Centerfolds: Small Edition (Playboy)
Occasion dès 249,99 €
Produits similaires
Présentation Quantifiers: Logics, Models And Computation Format Broché
- Livre Littérature Générale
Résumé :
Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the nature of a handbook. All of them are self-contained, at various levels of difficulty. The Introduction surveys the main ideas and problems encountered in the logical investigation of quantifiers. The Prologue, written by Per Lindstr?m, presents the early history of the concept of generalised quantifiers. The volume then continues with a series of papers surveying various research areas, particularly those that are of current interest. Together they provide introductions to the subject from the points of view of mathematics, linguistics, and theoretical computer science. The present volume has been prepared in parallel with Quantifiers: Logics, Models and Computation, Volume Two. Contributions, which contains a collection of research papers on the subject in areas that are too fresh to be summarised. The two volumes are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists. Suitable as a text for advanced undergraduate and graduate specialised courses in logic.
Sommaire:
Preface. Quantifiers, Some Problems and Ideas; M. Krynicki, M. Mostowski. Prologue; P. Lindstr?m. On the Model Theory of Some Generalized Quantifiers; H.D. Ebbinghaus. Finite Generation Problem and n-ary Quantifiers; L. Hella, K. Luosto. Games and Trees in Infinitary Logic: a Survey; J. V??n?en. Theory of Linear Order in Extended Logics; H. Herre. Henkin Quantifiers; M. Krynicki, M. Mostowski. Continuous Operations on Spaces of Structures; X. Caicedo. Model Theory of Topological Structures; J. Flum. Computable Quantifiers and Logics over Finite Structures; J.A. Makowski, Y.B. Pnueli. Quantifiers in Natural Language. A Survey of Some Recent Work; D. Westerst?hl. Index of Names.
Détails de conformité du produit
Personne responsable dans l'UE