- 5 Risultati
prezzo più basso: € 92,27, prezzo più alto: € 146,04, prezzo medio: € 121,59
1
Quantifiers: Logics, Models and Computation - Krynicki, Michal|Mostowski, M.|Szczerba, L. W.
Ordina
da AbeBooks.co.uk
€ 92,27
Spedizione: € 11,821
Ordina
Dettagli del offerente
Link sponsorizzato
Krynicki, Michal|Mostowski, M.|Szczerba, L. W.:

Quantifiers: Logics, Models and Computation - edizione con copertina flessibile

2010, ISBN: 9048145406

[EAN: 9789048145409], Nieuw boek, [SC: 11.82], [PU: Springer Netherlands], INDEX SYMBOL LOGIC PROOF SEMANTIC SEMANTICS PHILOSOPHIE ALLGEMEINES LEXIKA QUANTIFIERS LOGIK MATHEMATICAL AND FO… Altro …

NEW BOOK. Costi di spedizione: EUR 11.82 moluna, Greven, Germany [73551232] [Beoordeling: 4 (van 5)]
Chiudere (X)
2
Ordina
da alibris.co.uk
€ 121,20
Ordina
Dettagli & spedizione
Link sponsorizzato

Michal Krynicki:

Quantifiers Logics, Models and Computation Volume Two Contributions Synthese Libraryvolume 249 - Prima edizione

2012, ISBN: 9789048145409

edizione con copertina flessibile

Softcover, [ED: 1], PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping ser… Altro …

Costi di spedizione:Costi di spedizione aggiuntivi Fairford, GLOS, Paperbackshop International
Chiudere (X)
3
Ordina
da AbeBooks.co.uk
€ 118,66
Spedizione: € 9,501
Ordina
Dettagli del offerente
Link sponsorizzato
Michal Krynicki:
Quantifiers Logics, Models and Computation Volume Two Contributions Synthese LibraryVolume 249 - edizione con copertina flessibile

2010

ISBN: 9048145406

[EAN: 9789048145409], Nieuw boek, [SC: 9.5], [PU: Springer], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2… Altro …

NEW BOOK. Costi di spedizione: EUR 9.50 PBShop.store UK, Fairford, GLOS, United Kingdom [190245] [Beoordeling: 5 (van 5)]
Chiudere (X)
4
Quantifiers: Logics, Models and Computation - Michal Krynicki
Ordina
da BookDepository.com
€ 146,04
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Michal Krynicki:
Quantifiers: Logics, Models and Computation - edizione con copertina flessibile

ISBN: 9789048145409

Paperback, [PU: Springer], For a long time it has been belived that elementary logic also called first-order logic was an ade quate theory of logical forms of natural language sentences.… Altro …

Costi di spedizione:Versandkostenfrei. (EUR 0.00)
Chiudere (X)
5
Ordina
da AbeBooks.de
€ 129,80
Spedizione: € 6,621
Ordina
Dettagli del offerente
Link sponsorizzato
Michal Krynicki:
Quantifiers: Logics, Models and Computation - nuovo libro

2010, ISBN: 9048145406

[EAN: 9789048145409], 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. Costi di spedizione: EUR 6.62 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Quantifiers: Logics, Models and Computation
Autore:
Titolo:
ISBN:

9789048145409


The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical approaches are well represented. Moreover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language. The volume includes a wide-ranging survey of logical methods which are useful in investigations into generalized quantifiers. The book is the second volume of a large collection. The first volume - Quantifiers: Logics, Models and Computation. Volume One: Surveys - contains a collection of survey papers on selected, well-defined areas organized around the quantifier concept. Volumes One and Two are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists. Also suitable as a text for advanced undergraduate or graduate specialized courses in logic.

Informazioni dettagliate del libro - Quantifiers: Logics, Models and Computation


EAN (ISBN-13): 9789048145409
ISBN (ISBN-10): 9048145406
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer-Verlag GmbH
292 Pagine
Peso: 0,445 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2011-03-05T23:51:26+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-06-15T18:21:18+02:00 (Zurich)
ISBN/EAN: 9789048145409

ISBN - Stili di scrittura alternativi:
90-481-4540-6, 978-90-481-4540-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : mostowski, krynicki
Titolo del libro: what logics mean

Dati dell'editore

Autore: Michal Krynicki; M. Mostowski; L.W. Szczerba
Titolo: Synthese Library; Quantifiers: Logics, Models and Computation - Volume Two: Contributions
Editore: Springer; Springer Netherland
278 Pagine
Anno di pubblicazione: 2010-12-15
Dordrecht; NL
Stampato / Fatto in
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
IX, 278 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Index; Symbol; logic; proof; quantifiers; semantic; semantics; Logic; Semiotics; Mathematical Logic and Foundations; Theory of Computation; Semiotik und Semiologie; Mathematik: Logik; Mathematische Grundlagen; Theoretische Informatik; BB

to Volume II.- Quantifiers and Inference.- Operators on Branched Quantifiers.- Hilbert’s ?-Symbol in the Presence of Generalized Quantifiers.- Partially Ordered Connectives and Finite Graphs.- Theories of Finitely Determinate Linear Orderings in Stationary Logic.- Definable Second-Order Quantifiers and Quasivarieties.- Quantifiers Determined by Classes of Binary Relations.- Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-Quantifiers.- On the Eliminability of the Quantifier “There Exists Uncountably Many”.- Quantifiers Definable by Second Order Means.- Generalized Quantifiers in Algebra.- On Ordering of the Family of Logics with Skolem-Löwenheim Property and Countable Compactness Property.- Pre-Ordered Quantifiers in Elementary Sentences of Natural Language.- Some Remarks on Zawadowsky’s Theory of Preordered Quantifiers.- Index of Names.- Table of Contents to Volume I.
< Per archiviare...