Zdjęcie 1 z 1
Obliczalność i logika George S. Boolos, Richard C. Jeffrey–
Stan:
Brak zapasów / Sprzedane: 2
Wysyłka:
Znajduje się w: NY, Stany Zjednoczone
Dostawa:
Szacowana między Pt, 24 maj a Cz, 30 maj do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 98% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 334046022692
Ostatnia aktualizacja: 06-05-2024 15:59:42 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- Title
- Computability and Logic
- ISBN
- 9780521389235
- EAN
- 9780521389235
- Publication Name
- Computability and Logic
- Item Length
- 9in
- Publisher
- Cambridge University Press
- Publication Year
- 1989
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.8in
- Features
- Revised
- Item Width
- 6in
- Item Weight
- 15.7 Oz
- Number of Pages
- 320 Pages
O tym produkcie
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
Publication Year
1989
Type
Textbook
Number of Pages
320 Pages
Dimensions
Item Length
9in
Item Height
0.8in
Item Width
6in
Item Weight
15.7 Oz
Additional Product Features
Lc Classification Number
Bc135
Edition Description
Revised Edition
Edition Number
3
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
Topic
Logic
Lccn
89-032584
Dewey Decimal
511.3/52
Dewey Edition
22
Illustrated
Yes
Genre
Mathematics, Philosophy
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
WRAP Ltd
Mubin Ahmed
2 Lester Way
Wallingford
OX10 9TA
United Kingdom
Numer VAT (NIP):
- GB 724498118
Numer rejestracyjny (REGON):
- 03800600
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 334046022692
Ostatnia aktualizacja: 06-05-2024 15:59:42 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
NY, Stany Zjednoczone
Wysyłka do:
Cały świat
Wykluczenia:
Alaska/Hawaje, Argentyna, Barbados, Brazylia, Chiny, Gujana Francuska, Gwadelupa, Irlandia, Libia, Martynika, Meksyk, Nowa Kaledonia, Polinezja Francuska, Portoryko, Południowa Afryka, Reunion, Rosja, Ukraina, Wenezuela, Wielka Brytania
Wysyłka i obsługa | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
---|---|---|---|
Bezpłatna wysyłka | Stany Zjednoczone | Wysyłka ekonomiczna (USPS Media MailTM) | Szacowana między Pt, 24 maj a Cz, 30 maj do 43230 |
Czas na wysłanie |
---|
Zwykle wysyłam przesyłkę w ciągu 2 dni roboczych po otrzymaniu rozliczonej płatności. |
Podatki |
---|
Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay. |
Podatek od sprzedaży dla przedmiotu nr 334046022692
Podatek od sprzedaży dla przedmiotu nr 334046022692
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
Stan | Stawka podatku od sprzedaży |
---|
Warunki zwrotów
Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Zwrot pieniędzy zostanie dokonany jako | Wysyłka zwrotna |
---|---|---|
30 dni | Zwrot gotówki | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
Szczegóły warunków zwrotów |
---|
Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Popularne kategorie z tego Sklepu
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (512 635)
Ten przedmiot (2)
Wszystkie przedmioty (512 635)
a***i (42)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
The book I got is like new, in perfect condition. Very satisfied with my purchase.
1***o (295)- Opinie wystawione przez kupującego.
Ostatnie 6 miesięcy
Zakup potwierdzony
Great seller! Thanks!
2***n (1347)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
a good seller
r***2 (168)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Awesome book, great service! Thank you very much!
a***0 (266)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Great price, fast shipping, and the book was in better condition than I expected!