ISBN: 9780792334484
[ED: Buch], [PU: Springer Netherlands], Neuware - Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research resul… Meer...
booklooker.de |
ISBN: 9780792334484
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 wa… Meer...
BarnesandNoble.com new in stock. Verzendingskosten:plus shipping costs., exclusief verzendingskosten Details... |
1995, ISBN: 9780792334484
Springer, Gebundene Ausgabe, Auflage: 1995, 432 Seiten, Publiziert: 1995-05-31T00:00:01Z, Produktgruppe: Buch, 3.92 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Linguis… Meer...
amazon.de DasWuermtalbuch Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
1995, ISBN: 9780792334484
[ED: Gebundene Ausgabe], [PU: Springer], *Verlag: Springer *Auflage: 1995 *erschienen: 1995 *Bindung: Gebundene Ausgabe, DE, [SC: 15.00], gebraucht sehr gut, gewerbliches Angebot, 432, Of… Meer...
booklooker.de |
1995, ISBN: 9780792334484
Volume One: Surveys, Buch, Hardcover, 1995 ed. [PU: Springer], Springer, 1995
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
ISBN: 9780792334484
[ED: Buch], [PU: Springer Netherlands], Neuware - Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research resul… Meer...
ISBN: 9780792334484
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 wa… Meer...
1995
ISBN: 9780792334484
Springer, Gebundene Ausgabe, Auflage: 1995, 432 Seiten, Publiziert: 1995-05-31T00:00:01Z, Produktgruppe: Buch, 3.92 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Linguis… Meer...
1995, ISBN: 9780792334484
[ED: Gebundene Ausgabe], [PU: Springer], *Verlag: Springer *Auflage: 1995 *erschienen: 1995 *Bindung: Gebundene Ausgabe, DE, [SC: 15.00], gebraucht sehr gut, gewerbliches Angebot, 432, Of… Meer...
1995, ISBN: 9780792334484
Volume One: Surveys, Buch, Hardcover, 1995 ed. [PU: Springer], Springer, 1995
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Quantifiers: Logics, Models and Computation: Volume One: Surveys Michal Krynicki Editor
EAN (ISBN-13): 9780792334484
ISBN (ISBN-10): 0792334485
Gebonden uitgave
pocket book
Verschijningsjaar: 1995
Uitgever: Springer Netherlands Core >2 >T
436 Bladzijden
Gewicht: 0,776 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2008-01-25T19:35:23+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-30T15:58:47+01:00 (Amsterdam)
ISBN/EAN: 9780792334484
ISBN - alternatieve schrijfwijzen:
0-7923-3448-5, 978-0-7923-3448-4
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: krynicki, mostowski, michal
Titel van het boek: model volume, what logics mean, logic computer science, computation logic, michal
Gegevens van de uitgever
Auteur: Michal Krynicki; M. Mostowski; L.W. Szczerba
Titel: Synthese Library; Quantifiers: Logics, Models and Computation - Volume One: Surveys
Uitgeverij: Springer; Springer Netherland
424 Bladzijden
Verschijningsjaar: 1995-05-31
Dordrecht; NL
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
VIII, 424 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Index; logic; model theory; present; quantifiers; subject; theoretical computer science; Logic; Semiotics; Mathematical Logic and Foundations; Theory of Computation; Semiotik und Semiologie; Mathematik: Logik; Mathematische Grundlagen; Theoretische Informatik; BC; EA
to Volume I.- Quantifiers, Some Problems and Ideas.- Prologue.- On the Model Theory of Some Generalized Quantifiers.- Finite Generation Problem and n-ary Quantifiers.- Games and Trees in Infinitary Logic: A Survey.- Theory of Linear Order in Extended Logics.- Henkin Quantifiers.- Continuous Operations on Spaces of Structures.- Model Theory of Topological Structures.- Computable Quantifiers and Logics over Finite Structures.- Quantifiers in Natural Language: A Survey of Some Recent Work.- Index of Names.- Table of Contents to Volume II.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780792334491 Quantifiers: Logics, Models and Computation (Michal Krynicki; M. Mostowski; L.W. Szczerba)
< naar Archief...