. .
English
United States
Similar books
More/other books that might be very similar to this book
Search tools
Sign in
Share this book on...
Book recommendations
Latest news
Tip from find-more-books.com
Advertising
Paid advertisement
FILTER
- 0 Results
Lowest price: 184.85 €, highest price: 354.49 €, average price: 298.23 €
Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - C. Anthony Anderson, Michael Zelëny
book is out-of-stock
(*)
C. Anthony Anderson, Michael Zelëny:

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library) - hardcover

ISBN: 140200141X

[SR: 5224569], Hardcover, [EAN: 9781402001413], Springer, Springer, Book, [PU: Springer], Springer, Logic, Meaning and Computation Contains papers by well-known scholars, most of whom have been directly influenced by Alonzo Church's own work. This work emphasises on foundational issues in logic, mathematics, computation, and philosophy. It is of interest to logicians, computer scientists, philosophers, and linguists., 269279, Information Systems, 269349, Systems Analysis & Design, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 922510, Reference, 922508, History & Philosophy, 57, Science & Nature, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 278386, Reference, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 922942, Maths, 922868, Popular Science, 57, Science & Nature, 1025612, Subjects, 266239, Books, 570964, Mathematical Theory, 564352, Mathematics, 564334, Scientific, Technical & Medical, 1025612, Subjects, 266239, Books, 276315, Philosophy, 496404, History, 496508, Introduction to Philosophy, 276319, Non-Western, 496410, Philosophers, 60, Society, Politics & Philosophy, 1025612, Subjects, 266239, Books

Used Book Amazon.co.uk
D B S
Gebraucht Shipping costs:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days (EUR 6.75)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Logic, Meaning and Computation - C. Anthony Anderson#Michael Zelëny
book is out-of-stock
(*)

C. Anthony Anderson#Michael Zelëny:

Logic, Meaning and Computation - new book

ISBN: 9781402001413

ID: 6a2761fb324039364086334e186eae42

Essays in Memory of Alonzo Church Alonzo 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 . Bücher / Fremdsprachige Bücher / Englische Bücher 978-1-4020-0141-3, Springer

New book Buch.ch
Nr. 11443006 Shipping costs:Bei Bestellungen innerhalb der Schweiz berechnen wir Fr. 3.50 Portokosten, Bestellungen ab EUR Fr. 75.00 sind frei. Die voraussichtliche Versanddauer liegt bei 1 bis 2 Werktagen., Versandfertig innert 3 - 5 Werktagen, zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Logic, Meaning and Computation - C. Anthony Anderson#Michael Zelëny
book is out-of-stock
(*)
C. Anthony Anderson#Michael Zelëny:
Logic, Meaning and Computation - new book

ISBN: 9781402001413

ID: 32136386

Alonzo 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 . Essays in Memory of Alonzo Church Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

New book Thalia.de
No. 11443006 Shipping costs:, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Logic, Meaning and Computation: Essays in Memory of Alonzo Church - C. Anthony Anderson
book is out-of-stock
(*)
C. Anthony Anderson:
Logic, Meaning and Computation: Essays in Memory of Alonzo Church - hardcover

ISBN: 9781402001413

ID: 9781402001413

Logic, Meaning and Computation: Essays in Memory of Alonzo Church Logic-Meaning-and-Computation~~C-Anthony-Anderson Philosophy>Philosophy>Philosophy Hardcover, Springer Netherlands

New book Barnesandnoble.com
new Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Logic, Meaning and Computation - C.Anthony Andersen; Michael Zeleny
book is out-of-stock
(*)
C.Anthony Andersen; Michael Zeleny:
Logic, Meaning and Computation - hardcover

2002, ISBN: 9781402001413

ID: 3379077

Hardcover, Buch, [PU: Kluwer Academic Publishers]

New book Lehmanns.de
Shipping costs:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

< to search results...
Details of the book
Logic, Meaning and Computation: Essays in Memory of Alonzo Church
Author:

C.Anthony Andersen

Title:

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

ISBN:

140200141X

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.

Details of the book - Logic, Meaning and Computation: Essays in Memory of Alonzo Church


EAN (ISBN-13): 9781402001413
ISBN (ISBN-10): 140200141X
Hardcover
Publishing year: 2002
Publisher: SPRINGER VERLAG GMBH
642 Pages
Weight: 1,093 kg
Language: eng/Englisch

Book in our database since 23.04.2007 22:20:09
Book found last time on 25.10.2016 20:49:26
ISBN/EAN: 140200141X

ISBN - alternate spelling:
1-4020-0141-X, 978-1-4020-0141-3

< to search results...
< to archive...
Nearby books