Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

Language EnglishEnglish
Book Paperback
Book Logic, Meaning and Computation C. Anthony Anderson
Libristo code: 05323253
Publishers Springer, October 2012
Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles... Full description
? points 406 b
59 222 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

HISTORIA DE ESPAÑA CONTADA PARA ESCEPTICOS JUAN ESLAVA GALAN / Book Book
common.buy 8 611 Ft
Schnittmuster fur die Liebe Eva Kah / E-book Adobe ePub DRM
common.buy 1 169 Ft
El estado social en Espa?a ALMAGRO CASTRO / Book Paperback
common.buy 12 725 Ft
Evaluation Des Performances Des Enseignants Dans Le Service d'Education Du Ghana Isaac Ampofo Atta Junior / Book Paperback
common.buy 13 775 Ft
Das Muratorische Fragment Joachim Orth / Book Paperback
common.buy 10 769 Ft
Animales del mundo Arredondo / Book Hardback
common.buy 2 527 Ft
Zdánlivé pochybnosti Jan Kameníček / Book Paperback
common.buy 2 789 Ft
Coming soon
SHANNON SHANNON / Audio Audio CD
common.buy 5 081 Ft
Les crimes de l'armée française en Algérie 1954-1962 Pierre Vidal-Naquet / Book Paperback
common.buy 5 472 Ft
Hitze Sina de Malafosse / Book Paperback
common.buy 4 423 Ft
Dislexia, disortografía y disgrafía María del Pilar Fernández Fernández / Book Paperback
common.buy 8 551 Ft
Chut... je t'aime ! Bourgois Book Paperback
common.buy 3 617 Ft
LES NEO-PAGANISMES ET LA NOUVELLE DROITE (1980-2006) : POUR UNE AUTRE APPROCHE STEPHANE / Book Paperback
common.buy 8 947 Ft
Küresel Kapitalizm ve Göcmenlik Mustafa Peköz / Book Paperback
common.buy 6 190 Ft
Historique Des Evenemens Qui Se Sont Passes A La Basse-Terre, Ville Capitale de l'Ile Guadeloupe SANS AUTEUR / Book Paperback
common.buy 6 291 Ft
Litterature Contemporaine. Serie 5 Sans Auteur / Book Paperback
common.buy 8 086 Ft
Episode de l'Invasion de 1870 A Provins Bourquelot-E / Book Paperback
common.buy 6 291 Ft
Les Mohicans de Paris.Tome 11 Alexandre Dumas / Book Paperback
common.buy 9 559 Ft
Nouveau Dictionnaire Universel, (Ed.1869) Maurice La Chatre / Book Paperback
common.buy 12 946 Ft
Rolle und Identitat im Wunderland Viktoria Freya Weigel / Book Paperback
common.buy 6 245 Ft
Analyse fachinhaltlicher Anteile der Lernbegleitung in offenen experimentellen Situationen Sebastian Sutor / Book Paperback
common.buy 14 815 Ft
Desarrollo de una cepa etanologenica a partir de B. subtilis Susana Romero García / Book Paperback
common.buy 10 010 Ft
Verwaltungsverfahrensgesetz (VwVfG) Sarastro Gmbh / Book Paperback
common.buy 3 502 Ft
Freiheit Des Kolja Iwanow Friede Henriette Kraze / Book Paperback
common.buy 12 739 Ft

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 .

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic, Meaning and Computation
Author C. Anthony Anderson, Michael Zelëny
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 627
EAN 9789401038911
ISBN 9401038910
Libristo code 05323253
Publishers Springer
Weight 1037
Dimensions 160 x 240 x 36

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Language & Linguistics > Linguistics > Philosophy of language
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

In Pursuit of Nanoethics Anthony Mark Cutter / Book Paperback
common.buy 39 520 Ft
The History of Wales William Warrington / Book Paperback
common.buy 12 040 Ft
Women in Medieval Western European Culture Linda E. Mitchell / Book Hardback
common.buy 79 058 Ft
Kung Fu Fay Goodman / Book Hardback
common.buy 3 723 Ft
Edmund Hillary & Tenzing Norgay Terry Barber / Book Paperback
common.buy 5 909 Ft
Modern Approach to Maintenance in Spinning Rasshmi Niijjaawan / Book Hardback
common.buy 68 565 Ft
Exploring the Original West Village Alfred Pommer / Book Paperback
common.buy 6 231 Ft
Neglected Majority KAHN / Book Hardback
common.buy 28 373 Ft
Top Coming soon
The Flower Year Leila Duly / Book Hardback
common.buy 6 347 Ft
Contemporary Theatre Songs - Tenor: Songs from the 21st Century Hal Leonard Corp / Book Paperback
common.buy 7 631 Ft
Stays and Corsets Mandy Barrington / Book Paperback
common.buy 26 472 Ft
Commercial Bank of Ethiopia Ashenafi Tesfaye Guyo / Book Paperback
common.buy 17 194 Ft
Comprehensive Guide to Music Therapy, 2nd Edition NYGARD PEDERSEN ING / Book Paperback
common.buy 22 653 Ft
Conceiving Nature after Aristotle, Kant, and Hegel Richard Dien Winfield / Book Hardback
common.buy 48 817 Ft
Heaven Sent Hilary Storm / Book Paperback
common.buy 4 639 Ft
Creating Life RANDY ELLEFSON / Book Paperback
common.buy 6 130 Ft
Home Maintenance Checklist Tammie Chrin / Book Paperback
common.buy 4 625 Ft
Affordable
Be More Chill: The Graphic Novel David Levithan / Book Paperback
common.buy 3 065 Ft
Face Off David Baldacci / Book Paperback
common.buy 4 464 Ft
Coding with Coda Eric J Gruber / Book Paperback
common.buy 5 458 Ft
Radiolucent Lesions of the Jaw Sachin Mittal / Book Paperback
common.buy 13 775 Ft
Economic Transition E Europe Edward P Lazear / Book Paperback
common.buy 8 786 Ft
Multinational Force And Observers In The Sinai Mala Tabory / Book Paperback
common.buy 23 426 Ft
Saxophone Handbook Douglas D Skinner / Book Paperback
common.buy 4 846 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?