- 5 Résultats
prix le plus bas: € 166,21, prix le plus élevé: € 217,29, prix moyen: € 189,43
1
Quantifiers: Logics, Models and Computation: Volume One: Surveys (Synthese Library, 248, Band 248)
Commander
sur Amazon.de (Intern. Bücher)
€ 174,35
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé

Quantifiers: Logics, Models and Computation: Volume One: Surveys (Synthese Library, 248, Band 248) - Livres de poche

2009, ISBN: 9789048145393

Series Editor: Mostowski, Marcin, Series Editor: Szczerba, Lestaw W. Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1995, 436 Seiten, Publiziert: 2009-… Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
2
Quantifiers: Logics, Models and Computation: Volume One: Surveys (Synthese Library, 248, Band 248)
Commander
sur Amazon.de (Intern. Bücher)
€ 194,62
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Quantifiers: Logics, Models and Computation: Volume One: Surveys (Synthese Library, 248, Band 248) - Livres de poche

2009, ISBN: 9789048145393

Series Editor: Mostowski, Marcin, Series Editor: Szczerba, Lestaw W. Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1995, 436 Seiten, Publiziert: 2009-… Plus…

Frais d'envoiAuf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
fermer(X)
3
Quantifiers: Logics, Models and Computation - Michal Krynicki
Commander
sur BookDepository.com
€ 166,21
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Michal Krynicki:
Quantifiers: Logics, Models and Computation - Livres de poche

ISBN: 9789048145393

Paperback, [PU: Springer], Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, si… Plus…

Frais d'envoiVersandkostenfrei. (EUR 0.00)
fermer(X)
4
Commander
sur AbeBooks.de
€ 217,29
Envoi: € 4,401
Commander
Détails du fournisseur
Lien sponsorisé
Krynicki, Michal:
Quantifiers: Logics, Models and Computation: Volume One: Surveys - Livres de poche

2017, ISBN: 9048145392

[EAN: 9789048145393], Neubuch, [PU: Springer], QUANTIFIERS: LOGICS, MODELS AND COMPUTATION: VOLUME ONE: SURVEYS, PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK.

NEW BOOK. Frais d'envoi EUR 4.40 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 5 (von 5)]
fermer(X)
5
Commander
sur AbeBooks.de
€ 194,66
Envoi: € 6,621
Commander
Détails du fournisseur
Lien sponsorisé
Michal Krynicki:
Quantifiers: Logics, Models and Computation - nouveau livre

2010, ISBN: 9048145392

[EAN: 9789048145393], Neubuch, [PU: Springer], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000

NEW BOOK. Frais d'envoi EUR 6.62 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Quantifiers: Logics, Models and Computation: Volume One: Surveys (Synthese Library, 248, Band 248)
Auteur:
Titre:
ISBN:

9789048145393


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.

Informations détaillées sur le livre - Quantifiers: Logics, Models and Computation: Volume One: Surveys (Synthese Library, 248, Band 248)


EAN (ISBN-13): 9789048145393
ISBN (ISBN-10): 9048145392
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Krynicki, Michal, Springer Netherlands
436 Pages
Poids: 0,626 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2010-03-28T09:16:53+02:00 (Zurich)
Page de détail modifiée en dernier sur 2022-01-08T22:39:07+01:00 (Zurich)
ISBN/EAN: 9789048145393

ISBN - Autres types d'écriture:
90-481-4539-2, 978-90-481-4539-3
Autres types d'écriture et termes associés:
Auteur du livre: mostowski, krynicki
Titre du livre: what logics mean

Données de l'éditeur

Auteur: Michal Krynicki; M. Mostowski; L.W. Szczerba
Titre: Synthese Library; Quantifiers: Logics, Models and Computation - Volume One: Surveys
Editeur: Springer; Springer Netherland
424 Pages
Date de parution: 2010-12-06
Dordrecht; NL
Imprimé / Fabriqué en
Poids: 0,637 kg
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
VIII, 424 p.

BC; Logic; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Index; logic; model theory; present; quantifiers; subject; theoretical computer science; Semantics; Mathematical Logic and Foundations; Theory of Computation; Logic; Semiotics; Mathematical Logic and Foundations; Theory of Computation; Semiotik und Semiologie; Mathematik: Logik; Mathematische Grundlagen; Theoretische Informatik; BB

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.
< pour archiver...