Bild 1 von 1
Berechenbarkeit und Logik von George S. Boolos, Richard C. Jeffrey-
Artikelzustand:
Nicht mehr vorrätig / 2 verkauft
Versand:
Standort: NY, USA
Lieferung:
Lieferung zwischen Do, 13. Jun und Di, 18. Jun nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:334046022692
Artikelmerkmale
- Artikelzustand
- 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
Über dieses Produkt
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
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
WRAP Ltd
Mubin Ahmed
2 Lester Way
Wallingford
OX10 9TA
United Kingdom
USt-IdNr.:
- GB 724498118
Handelsregisternummer:
- 03800600
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
CRN-Nummer:
- 03800600
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:334046022692
Verpackung und Versand
Artikelstandort:
NY, USA
Versand nach:
Weltweit
Ausgeschlossen:
Alaska/Hawaii, Argentinien, Barbados, Brasilien, China, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Irland, Libyen, Martinique, Mexiko, Neukaledonien, Puerto Rico, Russische Föderation, Réunion, Südafrika, Ukraine, Venezuela, Vereinigtes Königreich
| Verpackung und Versand | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|
| Kostenloser Versand | USA | Sparversand (USPS Media MailTM) | Lieferung zwischen Do, 13. Jun und Di, 18. Jun nach 43230 |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 2 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #334046022692
Mehrwertsteuer für diesen Artikel #334046022692
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Frist | Rückerstattung erfolgt in folgender Form: | Rücksendung |
|---|---|---|
| 30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
| Rücknahmebedingungen im Detail |
|---|
| Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Hinweis: Bestimmte Zahlungsmethoden werden in der Kaufabwicklung nur bei hinreichender Bonität des Käufers angeboten.
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (514.087)
Dieser Artikel (2)
Alle Artikel (514.087)
a***i (43)- Bewertung vom Käufer.
Letzte 6 Monate
Bestätigter Kauf
The book I got is like new, in perfect condition. Very satisfied with my purchase.
1***o (295)- Bewertung vom Käufer.
Letzte 6 Monate
Bestätigter Kauf
Great seller! Thanks!
i***a (52)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Item was in very good condition. Everything was as described.
y***y (2334)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Good book Thank you:)
t***r (402)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Ordered for a friend.
Produktbewertungen & Rezensionen
Noch mehr entdecken:
- Jeffrey Archer Belletristik-Bücher,
- Hörbücher und Hörspiele Jeffrey Archer,
- Jeffrey Archer Belletristik Romane,
- Deutsche Bücher Jeffrey Archer Belletristik,
- Jeffrey-Archer-Taschenbuch-Belletristik - Bücher,
- Richard Scarry Belletristik-Bücher,
- Elizabeth George Belletristik-Bücher,
- Georges Simenon Belletristik-Bücher,
- George-Orwell-Sachbuch Bücher,
- Richard Scarry mit Kinder- & Jugendliteratur-Bücher auf Deutsch