Quantifiers: Logics, Models and Computation -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre228,96 €
Produit Neuf
Ou 57,24 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789048145393_dbm
Nos autres offres
-
235,48 €
Produit Neuf
Ou 58,87 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Voir le détail de l'annonce -
232,56 €
Produit Neuf
Ou 58,14 € /mois
- Livraison : 25,00 €
- Livré entre le 3 et le 8 août
- 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
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
A First Course In Logic
Neuf dès 129,46 €
Occasion dès 192,99 €
-
Cowboy Kate And Other Stories
Occasion dès 161,55 €
-
Cryogenic Heat Transfer
Neuf dès 215,99 €
-
Very Similar
Neuf dès 131,99 €
-
Common Sense
Occasion dès 115,00 €
-
Jock Sturges
Occasion dès 215,18 €
-
Art Of Sea Of Thieves
1 avis
Neuf dès 127,99 €
-
The Feynman Lectures On Physics. The New Millennium Edition
1 avis
Neuf dès 284,34 €
Occasion dès 408,99 €
-
The Princeton Companion To Applied Mathematics
1 avis
Neuf dès 128,31 €
-
Hans Arp
1 avis
Occasion dès 199,99 €
-
Gowns By Adrian
Occasion dès 127,99 €
-
Richard Serra: Drawings 1969-1996
1 avis
Occasion dès 260,99 €
-
Managerial Accounting
Neuf dès 168,57 €
-
Reflections: Twenty-One Cinematographers At Work
Occasion dès 145,99 €
-
Mumuye: Sculpture From Nigeria
Occasion dès 128,59 €
-
Voyeur
Occasion dès 148,99 €
-
Moonwalk
1 avis
Occasion dès 313,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