Foto 1 di 1
Computabilità e logica di George S. Boolos, Richard C. Jeffrey-
Condizione:
Esaurito / 2 venduti
Spedizione:
Oggetto che si trova a: NY, Stati Uniti
Consegna:
Consegna prevista tra il gio 13 giu e il mar 18 giu a 43230
Restituzioni:
Restituzioni entro 30 giorni. L'acquirente paga le spese di spedizione per la restituzione dell'oggetto. Vedi i dettagli- per maggiori informazioni sulle restituzioni
Pagamenti:
Fai shopping in tutta sicurezza
Informazioni sul venditore
- 98% di Feedback positivi
Registrato come venditore professionale
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:334046022692
Specifiche dell'oggetto
- Condizione
- 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
- Features
- Revised
- Item Width
- 6 in
- Item Weight
- 15.7 Oz
- Number of Pages
- 320 Pages
Informazioni su questo prodotto
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
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
3
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.
Copyright Date
1989
Target Audience
College Audience
Dewey Decimal
511.3/52
Dewey Edition
22
Illustrated
Yes
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
WRAP Ltd
Mubin Ahmed
2 Lester Way
Wallingford
OX10 9TA
United Kingdom
Numero Partita IVA:
- GB 724498118
Numero registro delle imprese:
- 03800600
Certifico che tutte le mie attività di vendita saranno conformi alle leggi e ai regolamenti dell'Unione Europea.
Numero di registrazione dell'impresa:
- 03800600
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:334046022692
Spedizione e imballaggio
Luogo in cui si trova l'oggetto:
NY, Stati Uniti
Destinazione:
Tutto il mondo
Paesi in cui non si effettua la spedizione:
Alaska/Hawaii, Argentina, Barbados, Brasile, Cina, Federazione Russa, Guadalupa, Guyana francese, Irlanda, Libia, Martinica, Messico, Nuova Caledonia, Polinesia francese, Porto Rico, Regno Unito, Riunione, Sud Africa, Ucraina, Venezuela
| Spedizione e imballaggio | A | Servizio | Consegna*Vedi le note di consegna |
|---|---|---|---|
| Spedizione gratuita | Stati Uniti | Economica (USPS Media MailTM) | Consegna prevista tra il gio 13 giu e il mar 18 giu a 43230 |
| Tempi di imballaggio |
|---|
| La spedizione di solito viene effettuata entro 2 giorni lavorativi dalla ricezione del pagamento. |
| Imposte |
|---|
| Potrebbero essere applicate tasse al momento del pagamento. Ulteriori informazioniUlteriori informazioni sul pagamento delle imposte sugli acquisti eBay. |
Imposte sulle vendite per oggetto num. 334046022692
Imposte sulle vendite per oggetto num. 334046022692
Il venditore riscuote l'imposta sulle vendite per gli oggetti spediti ai seguenti Stati:
| Stato | Aliquota dell'imposta sulla vendita |
|---|
Regole sulle restituzioni
| Dopo aver ricevuto l'oggetto, contatta il venditore entro | Modalità di rimborso | Spese di restituzione |
|---|---|---|
| 30 giorni | Rimborso in contanti | L'acquirente paga le spese di spedizione per la restituzione dell'oggetto |
Clicca quiqui per ulteriori dettagli sulle Restituzioni. Per le transazioni idonee, sei coperto dal programma Garanzia cliente eBay se ricevi un oggetto non conforme alla descrizione.
Le spese di spedizione per la restituzione sono a carico dell'acquirente.
| Informazioni sulla restituzione |
|---|
| Restituzioni accettate |
Dettagli di pagamento
Metodi di pagamento
Nota: nella procedura di pagamento potrebbero non essere disponibili alcuni metodi di pagamento a causa della valutazione del rischio dell'acquirente.
Categorie più popolari di questo Negozio
Registrato come venditore professionale
Feedback del venditore (514.077)
Questo oggetto (2)
Tutti gli oggetti (514.077)
a***i (43)- Feedback lasciato dall'acquirente.
Ultimi 6 mesi
Acquisto verificato
The book I got is like new, in perfect condition. Very satisfied with my purchase.
1***o (295)- Feedback lasciato dall'acquirente.
Ultimi 6 mesi
Acquisto verificato
Great seller! Thanks!
t***o (998)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Thank you!
6***k (122)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Livre qui a l'air passionnant mais je ne l'ai pas encore lu
o***s (3204)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Simply wonderful; far better than described. Thanks so much for another superb transaction.