Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2012
ISBN 10: 9401038910ISBN 13: 9789401038911
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2002
ISBN 10: 140200141XISBN 13: 9781402001413
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2012
ISBN 10: 9401038910ISBN 13: 9789401038911
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2002
ISBN 10: 140200141XISBN 13: 9781402001413
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer Netherlands, 2012
ISBN 10: 9401038910ISBN 13: 9789401038911
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 .
Published by Springer, 2002
ISBN 10: 140200141XISBN 13: 9781402001413
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Book
Condition: New. New. In shrink wrap. Looks like an interesting title! 2.55.
Published by Springer, 2012
ISBN 10: 9401038910ISBN 13: 9789401038911
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 2001 edition. 627 pages. 9.45x6.30x1.49 inches. In Stock.