s'inscrire

S'inscrire
Mot de passe oublié?

Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr
Paramètres des cookies

Conseils d'eurolivre.fr

Acheter un livre

Outils de recherche

Actualités

Vous avez désactivé JavaScript des réglages de votre navigateur. Afin d'optimiser l'efficacité de la recherche de livres, nous vous conseillons d'activer JavaScript pour eurolivre.fr

- 5 Résultats

prix le plus bas: € 122,16, prix le plus élevé: € 167,98, prix moyen: € 144,04

Logic, Meaning and Computation - 9781402001413 - Michael Zeleny, C. Anthony Anderson

(*)

Michael Zeleny, C. Anthony Anderson:
Logic, Meaning and Computation - 9781402001413 - edition reliée, livre de poche

ISBN: 9781402001413

ISBN-13: 9781402001413, 978-1402001413. It was not to. be It could not be. Publisher: Springer-Verlag New York Inc., United States. Logic, Meaning and Computation Please note: this ite… Plus…

ISBN-13: 9781402001413, 978-1402001413. It was not to. be It could not be. Publisher: Springer-Verlag New York Inc., United States. Logic, Meaning and Computation Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days).Essays in Memory of Alonzo ChurchAuthor(s): C. Anthony Anderson, Michael ZelenyFormat: HardbackPublisher: Springer-Verlag New York Inc., United StatesImprint: Springer-Verlag New York Inc.ISBN-13: 9781402001413, 978-1402001413SynopsisAlonzo Church was undeniably one ofthe intellectual giants of theTwenti- eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid- ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid ., Brand New, Festpreisangebot, [LT: FixedPrice], Book Title: Logic, Meaning and Computation, EAN: 9781402001413, Publication Year: 2002, Type: Textbook, Format: Hardcover, Language: English, Publication Name: Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Item Height: 235mm, Item Width: 155mm, Subject: Mathematics, Item Weight: 2420g, Number of Pages: 627 Pages, Springer-Verlag NY Inc.<

ebay.com

books--etc
99.7, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Frais d'envoiGU12 *** Aldershot, [TO: United Kingdom, Antigua and Barbuda, Austria, Belgium, Bulgaria, Republic of Croatia, Cyprus, Czech Republic, Denmark, Estonia, Finland, France, Germany, Greece, Hungary, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, Netherlands, Poland, Portugal, Romania, Slovakia, Slovenia, Spain, Sweden, Australia, United States, Bahrain, Canada, Brazil, Japan, New Zealand, China, Israel, Hong Kong, Norway, Indonesia, Malaysia, Mexico, Singapore, South Korea, Switzerland, Taiwan, Thailand, Bangladesh, Belize, Bermuda, Bolivia, Barbados, Brunei Darussalam, Cayman Islands, Dominica, Ecuador, Egypt, Guernsey, Gibraltar, Guadeloupe, Grenada, French Guiana, Iceland, Jersey, Jordan, Cambodia, Saint Kitts-Nevis, Saint Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Maldives, Montserrat, Martinique, Nicaragua, Pakistan, Peru, Paraguay, Reunion, Turks and Caicos Islands, Aruba, Saudi Arabia, South Africa, United Arab Emirates, Chile, Bahamas, Colombia, Costa Rica, Dominican R., Livraison non-comprise
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Logic, Meaning and Computation - Anderson, C. A. Zelëny, Michael

(*)

Anderson, C. A. Zelëny, Michael:
Logic, Meaning and Computation - edition reliée, livre de poche

2002, ISBN: 9781402001413

[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Preface C.A. Anderson, M. Zelëny. Remembering … Plus…

booklooker.de

Moluna GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Logic, Meaning and Computation - Anderson, C. A.|Zelëny, Michael

(*)

Anderson, C. A.|Zelëny, Michael:
Logic, Meaning and Computation - edition reliée, livre de poche

2002, ISBN: 140200141X

[EAN: 9781402001413], Neubuch, [PU: Springer Netherlands], MATHEMATICS LOGIC PHILOSOPHY REFERENCE PHILOSOPHIE ALLGEMEINES LEXIKA ARITHMETIC EQUIVALENCE LANGUAGE ONTOLOGY PREDICATE SET THE… Plus…

AbeBooks.de

moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305) - Anderson, C. Anthony

(*)

Anderson, C. Anthony:
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305) - edition reliée, livre de poche

2002, ISBN: 140200141X

[EAN: 9781402001413], New book, [PU: Springer], Clean and crisp and new!, Books

AbeBooks.com

Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 5 (of 5)]
NEW BOOK. Frais d'envoiFree shipping. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese

(*)

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese - nouveau livre

ISBN: 9781402001413

It was not to. be It could not be. New, Festpreisangebot, [LT: FixedPrice], [PU: Springer]

ebay.com

loveourprices2
98.4. Frais d'envoiGL3*** GLOUCESTER., Livraison non-comprise
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

1

Logic, Meaning and Computation - 9781402001413 - Michael Zeleny, C. Anthony Anderson

Commander
sur ebay.com

$ 133,44

(environ € 122,16)

Détails et expédition

Lien sponsorisé

Michael Zeleny, C. Anthony Anderson:

Logic, Meaning and Computation - 9781402001413 - edition reliée, livre de poche

ISBN: 9781402001413

ISBN-13: 9781402001413, 978-1402001413. It was not to. be It could not be. Publisher: Springer-Verlag New York Inc., United States. Logic, Meaning and Computation Please note: this ite… Plus…

ISBN-13: 9781402001413, 978-1402001413. It was not to. be It could not be. Publisher: Springer-Verlag New York Inc., United States. Logic, Meaning and Computation Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days).Essays in Memory of Alonzo ChurchAuthor(s): C. Anthony Anderson, Michael ZelenyFormat: HardbackPublisher: Springer-Verlag New York Inc., United StatesImprint: Springer-Verlag New York Inc.ISBN-13: 9781402001413, 978-1402001413SynopsisAlonzo Church was undeniably one ofthe intellectual giants of theTwenti- eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid- ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid ., Brand New, Festpreisangebot, [LT: FixedPrice], Book Title: Logic, Meaning and Computation, EAN: 9781402001413, Publication Year: 2002, Type: Textbook, Format: Hardcover, Language: English, Publication Name: Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Item Height: 235mm, Item Width: 155mm, Subject: Mathematics, Item Weight: 2420g, Number of Pages: 627 Pages, Springer-Verlag NY Inc.<

99.7, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Frais d'envoiGU12 *** Aldershot, [TO: United Kingdom, Antigua and Barbuda, Austria, Belgium, Bulgaria, Republic of Croatia, Cyprus, Czech Republic, Denmark, Estonia, Finland, France, Germany, Greece, Hungary, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, Netherlands, Poland, Portugal, Romania, Slovakia, Slovenia, Spain, Sweden, Australia, United States, Bahrain, Canada, Brazil, Japan, New Zealand, China, Israel, Hong Kong, Norway, Indonesia, Malaysia, Mexico, Singapore, South Korea, Switzerland, Taiwan, Thailand, Bangladesh, Belize, Bermuda, Bolivia, Barbados, Brunei Darussalam, Cayman Islands, Dominica, Ecuador, Egypt, Guernsey, Gibraltar, Guadeloupe, Grenada, French Guiana, Iceland, Jersey, Jordan, Cambodia, Saint Kitts-Nevis, Saint Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Maldives, Montserrat, Martinique, Nicaragua, Pakistan, Peru, Paraguay, Reunion, Turks and Caicos Islands, Aruba, Saudi Arabia, South Africa, United Arab Emirates, Chile, Bahamas, Colombia, Costa Rica, Dominican R., Livraison non-comprise books--etc

Informations sur tendance des prix

2

Logic, Meaning and Computation - Anderson, C. A. Zelëny, Michael

Commander
sur booklooker.de

€ 136,45

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Anderson, C. A. Zelëny, Michael:

Logic, Meaning and Computation - edition reliée, livre de poche

2002, ISBN: 9781402001413

[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Preface C.A. Anderson, M. Zelëny. Remembering … Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH

Informations sur tendance des prix

3

Logic, Meaning and Computation - Anderson, C. A.|Zelëny, Michael

Commander
sur AbeBooks.de

€ 137,26

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Anderson, C. A.|Zelëny, Michael:
Logic, Meaning and Computation - edition reliée, livre de poche

2002

ISBN: 140200141X

[EAN: 9781402001413], Neubuch, [PU: Springer Netherlands], MATHEMATICS LOGIC PHILOSOPHY REFERENCE PHILOSOPHIE ALLGEMEINES LEXIKA ARITHMETIC EQUIVALENCE LANGUAGE ONTOLOGY PREDICATE SET THE… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]

Informations sur tendance des prix

4

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305) - Anderson, C. Anthony

Commander
sur AbeBooks.com

$ 183,49

(environ € 167,98)

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Anderson, C. Anthony:
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305) - edition reliée, livre de poche

2002, ISBN: 140200141X

[EAN: 9781402001413], New book, [PU: Springer], Clean and crisp and new!, Books

NEW BOOK. Frais d'envoiFree shipping. (EUR 0.00) Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 5 (of 5)]

Informations sur tendance des prix

5

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese

Commander
sur ebay.com

$ 170,76

(environ € 156,33)

Détails et expédition

Lien sponsorisé

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese - nouveau livre

ISBN: 9781402001413

It was not to. be It could not be. New, Festpreisangebot, [LT: FixedPrice], [PU: Springer]

98.4. Frais d'envoiGL3*** GLOUCESTER., Livraison non-comprise loveourprices2

Informations sur tendance des prix

¹Comme 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

Logic, Meaning and Computation

Auteur:	Anderson, C. A.\|Zelëny, Michael
Titre:	Logic, Meaning and Computation
ISBN:	9781402001413

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.

Informations détaillées sur le livre - Logic, Meaning and Computation

EAN (ISBN-13): 9781402001413
ISBN (ISBN-10): 140200141X
Version reliée
Date de parution: 2002
Editeur: Springer-Verlag New York Inc.
642 Pages
Poids: 1,093 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-04-23T22:20:09+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-10-27T20:16:14+02:00 (Paris)
ISBN/EAN: 9781402001413

ISBN - Autres types d'écriture:
1-4020-0141-X, 978-1-4020-0141-3
Autres types d'écriture et termes associés:
Auteur du livre: anthony anderson, michael anderson, church alonzo, zeleny, leibniz, zelený
Titre du livre: logic meaning computation essays memory alonzo church, logic meaning and computation, what meaning, the church and the library

Données de l'éditeur

Auteur: C. Anthony Anderson; Michael Zelëny
Titre: Synthese Library; Logic, Meaning and Computation - Essays in Memory of Alonzo Church
Editeur: Springer; Springer Netherland
627 Pages
Date de parution: 2002-01-31
Dordrecht; NL
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XIII, 627 p.

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Arithmetic; Equivalence; language; logic; ontology; predicate logic; set theory; Logic; Mathematical Logic and Foundations; Philosophy of Language; Mathematik: Logik; Mathematische Grundlagen; Sprachphilosophie; BC

Logic, truth and number: The elementary genesis of arithmetic.- Second-order logic.- A representation of relation algebras using Routley-Meyer frames.- Church’s set theory with a universal set.- Axioms of infinity in Church’s type theory.- Logical objects.- The lambda calculus and adjoint functors.- Atomic Boolean algebras and classical propositional logic.- Improved decision procedures for pure relevant logic.- The “triumph” of first-order languages.- Equivalence relations and groups.- Discriminating coded lambda terms.- ?-calculus as a foundation for mathematics.- Peano’s lambda calculus: The functional abstraction implicit in arithmetic.- The undecidability of ?-definability.- A construction of the provable wellorderings of the theory of species.- Semantics for first and higher order realizability.- Language and equality theory in logic programming.- Alternative (1*): A criterion of identity for intensional entities.- Nominalist paraphrase and ontological commitment.- Peace, justice and computation: Leibniz’ program and the moral and political significance of Church’s theorem.- Tarski’s theorem and NFU.- Church’s theorem and randomness.- Russellian type theory and semantical paradoxes.- The logic of sense and denotation: Extensions and applications.- Analysis, synonymy and sense.- The very possibility of language.
Includes supplementary material: sn.pub/extras

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9789401005265 Logic, Meaning and Computation (C. Anthony Anderson; Michael Zeleny)

Évolution du prix...

< pour archiver...