L'objet est en rupture de stock.

Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Informatique et logique par George S. Boolos, Richard C. Jeffrey

État :

Très bon

Quantité :

En rupture de stock / 2 vendus

Prix :

11,99 $US

Environ16,47 $C

Suivre cet objet

Expédition :

Sans frais Expédition au tarif économique. En savoir plussur l'expédition

Lieu : NY, États-Unis

Livraison :

Livraison prévue entre le jeu. 13 juin et le mar. 18 juin à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

awesomebooksusa (412827)
98% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :334046022692

Dernière mise à jour : mai 06, 2024 09:59:42 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Très bon: Un livre qui n’a pas l’air neuf et qui a été lu, mais qui est en excellent état. La ... Très bon: Un livre qui n’a pas l’air neuf et qui a été lu, mais qui est en excellent état. La couverture ne présente aucun dommage apparent et la jaquette (si applicable) est incluse (dans le cas des livres à reliure). Il n'y a aucune page manquante ou endommagée, aucun pli, aucune déchirure, aucun passage surligné ou souligné et aucune inscription en marge. Il est possible que le contreplat porte d'infimes marques d'identification. Le livre présente des traces d'usure infimes. Afficher toutes les définitions d'état(s'ouvre dans une nouvelle fenêtre ou un nouvel onglet)

Title: Computability and Logic

ISBN: 9780521389235

EAN: 9780521389235

Subject Area: Mathematics, Philosophy

Publication Name: Computability and Logic

Item Length: 9 in

Publisher: Cambridge University Press

Subject: Logic

Publication Year: 1989

Type: Textbook

Format: Trade Paperback

Language: English

Item Height: 0.8 in

Author: Richard C. Jeffrey, George S. Boolos

Features: Revised

Item Width: 6 in

Item Weight: 15.7 Oz

Number of Pages: 320 Pages

À propos de ce produit

Product Information

A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.

Product Identifiers

Publisher

Cambridge University Press

ISBN-10

0521389232

ISBN-13

9780521389235

eBay Product ID (ePID)

172553

Product Key Features

Author

Richard C. Jeffrey, George S. Boolos

Publication Name

Computability and Logic

Format

Trade Paperback

Language

English

Features

Revised

Subject

Logic

Publication Year

1989

Type

Textbook

Subject Area

Mathematics, Philosophy

Number of Pages

320 Pages

Dimensions

Item Length

9 in

Item Height

0.8 in

Item Width

6 in

Item Weight

15.7 Oz

Additional Product Features

Edition Number

LCCN

89-032584

Lc Classification Number

Bc135

Edition Description

Revised Edition

Reviews

'â€¦ particularly appropriate for graduate and advanced undergraduate students in philosophy â€¦ The book is written in a clear and pleasing style and avoids pedantry â€¦ It should be an excellent text for its intended audience.' Mathematical Reviews, 'Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' American Math Monthly, ‘Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.’American Math Monthly, '... particularly appropriate for graduate and advanced undergraduate students in philosophy ... The book is written in a clear and pleasing style and avoids pedantry ... It should be an excellent text for its intended audience.'Mathematical Reviews, '... particularly appropriate for graduate and advanced undergraduate students in philosophy ... The book is written in a clear and pleasing style and avoids pedantry ... It should be an excellent text for its intended audience.' Mathematical Reviews, 'Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.'American Math Monthly, ‘… particularly appropriate for graduate and advanced undergraduate students in philosophy … The book is written in a clear and pleasing style and avoids pedantry … It should be an excellent text for its intended audience.’Mathematical Reviews

Table of Content

Preface; Preface to the third edition; 1. Enumerability; 2. Diagonalization; 3. Turing machines; 4. Uncomputability via the busy beaver problem; 5. Uncomputability via diagonalization; 6. Abacus computable functions are Turing computable; 7. Recursive functions are abacus computable; 8. Turing computable functions are recursive; 9. First-order logic revisited; 10. First-order logic is undecidable; 11. First-order logic formalized: derivations and soundness; 12. Completeness of the formalization: compactness; 13. The Skolem-Löwenheim theorem; 14. Representability in Q; 15. Undecidability, indefinability and incompleteness; 16. Provability predicates and the unprovability of consistency; 17. Non-standard models of arithmetic; 18. Second-order logic; 19. On defining arithmetical truth; 20. Definability arithmetic and forcing; 21. The decidability of arithmetic with addition, but not multiplication; 22. Dynadic logic is undecidable: 'eliminating' names and function symbols; 23. The Craig interpolation lemma; 24. Two applications of Craig's lemma; 25. Monadic versus dyadic logic; 26. Ramsey's theorem; 27. Provability considered modal-logically; 28. Undecidable sentences; 29. Non-standard models of Z are not recursive; Index.

1989

Target Audience

College Audience

Dewey Decimal

511.3/52

Dewey Edition

Illustrated

Yes

Description de l'objet du vendeur

Informations sur le vendeur professionnel

Numéro de TVA :

GB 724498118

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :334046022692

Dernière mise à jour : mai 06, 2024 09:59:42 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

NY, États-Unis

Expédition :

Monde entier

Lieux exclus :

Afrique du Sud, Alaska/Hawaii, Argentine, Barbade, Brésil, Chine, Guadeloupe, Guyane française, Irlande, Libye, Martinique, Mexique, Nouvelle-Calédonie, Polynésie française, Porto Rico, Royaume-Uni, Russie, Réunion, Ukraine, Venezuela

Changer de pays :

Code postal :

Expédition et manutention	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	États-Unis	Expédition au tarif économique (USPS Media MailTM)	Livraison prévue entre le jeu. 13 juin et le mar. 18 juin à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 2 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.