This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic.
Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space."
The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included.
Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives.

� propos de l?auteur

Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we?re helping charities increase revenue and reduce waste through re-commerce.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

World of Books Ltd
Mulberry House, Woods Way Trading Estate, Goring-By-Sea, BN12 4QY, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.

Droit de r�tractation

Si vous �tes un consommateur, vous pouvez exercer votre droit de r�tractation sur le contrat conform�ment � ce qui suit. Le mot � consommateur � d�signe toute personne physique agissant � des fins qui n'entrent pas dans le cadre de son activit� commerciale, artisanale ou professionnelle.

Informations concernant le droit de r�tractation

Droit statutaire de r�tractation

Vous avez le droit d'exercer votre droit de r�tractation sur ce contrat dans les 14 jours sans donner de raison.

Le d�lai de r�tractation expirera au bout de 14 jours � compter du jour o� vous-m�me, ou un tiers autre que le transporteur et d�sign� par vous, prendrez physiquement possession de la derni�re marchandise, du dernier lot ou de la derni�re pi�ce.

Pour exercer votre droit de r�tractation, remplissez �lectroniquement et envoyez une d�claration claire sur notre site Web, sous � Vos achats � dans � Votre compte �. Nous vous communiquerons sans d�lai un accus� de r�ception de cette r�tractation sur un support durable (par exemple, par e-mail).

Pour respecter le d�lai de r�tractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de r�tractation avant l'expiration du d�lai de r�tractation.

Effets de la r�tractation

Si vous exercez votre droit de r�tractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectu�s, y compris les frais de livraison (� l'exception des frais suppl�mentaires r�sultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).

Nous pouvons d�duire du remboursement la perte de valeur de toute marchandise livr�e, si la perte est le r�sultat d'une manipulation inutile de votre part.

Nous effectuerons le remboursement dans les meilleurs d�lais, et au plus tard 14 jours apr�s le jour o� nous aurons �t� inform�s de votre d�cision d'exercer votre droit de r�tractation sur ce contrat.

Nous effectuerons le remboursement en utilisant le m�me moyen de paiement que celui que vous avez utilis� pour la transaction initiale, sauf si vous en avez express�ment convenu autrement ; en tout �tat de cause, aucuns frais ne vous seront factur�s � la suite d'un tel remboursement.

Nous pouvons suspendre le remboursement jusqu'� ce que nous ayons re�u les marchandises ou que vous ayez fourni la preuve que vous avez renvoy� les marchandises, en fonction de la premi�re �ventualit�.

Vous devez renvoyer les marchandises ou les remettre � WorldofBooks, Coventry, WMD, United Kingdom, sans retard injustifi� et, en tout �tat de cause, au plus tard 14 jours � compter du jour o� vous nous avez communiqu� votre d�cision de r�tractation du pr�sent contrat. Le d�lai est respect� si vous renvoyez les marchandises avant l'expiration du d�lai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'�tes responsable que de toute diminution de valeur des marchandises r�sultant d'une manipulation autre que celle n�cessaire pour �tablir la nature, les caract�ristiques et le fonctionnement des marchandises.

Exceptions au droit de r�tractation

Le droit de r�tractation ne s'applique pas � ce qui suit :

Distribution de journaux, de revues ou de magazines, � l'exception des contrats d'abonnement ; et
Fourniture d'un contenu num�rique qui n'est pas fourni sur un support mat�riel (par exemple, sur un CD ou un DVD) si vous avez accept�, lors de votre commande, que nous puissions commencer � le livrer et que vous ne puissiez pas exercer votre droit de r�tractation une fois la livraison commenc�e.

Conditions d'exp�dition

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Frais d?exp�dition de Royaume-Uni�vers�Etats-Unis

Frais d?exp�dition de Royaume-Uni�vers�Etats-Unis
Quantit� command�e	7 � 12 jours ouvr�s	5 � 9 jours ouvr�s
Premier article	EUR 6.50	EUR 13.92

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.