Introduction to Mathematical Logic, Fourth Edition (Discrete Mathematics and Its Applications)
Lingua: inglese
Editore: Springer, 1997
- Rilegato
- Usato
Da: WorldofBooks, Goring-By-Sea, WS, Regno UnitoWorldofBooks
Venditore AbeBooks dal 16 marzo 2007
Condizione: Usato - Molto buono
EUR 32,75
Quantità: 1 disponibile
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Codice articolo GOR002342850
- Titolo
- Introduction to Mathematical Logic, Fourth Edition (Discrete Mathematics and Its Applications)
- Autore
- Mendelson, Elliott
- Editore
- Springer
- Anno di pubblicazione
- 1997
- Condizione
- Very Good
- Rilegatura
- Hardback
- Lingua
- inglese
- ISBN 10
- 0412808307
- ISBN 13
- 9780412808302
- Peso dell'articolo
- 762 grammi
The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.
Introduction to Mathematical Logic includes:
The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
Propositional Connectives. Truth Tables
Tautologies
Adequate Sets of Connectives
An Axiom System for the Propositional Calculus
Independence: Many-Valued Logics
Other Axiomatizations
Quantification Theory
Quantifiers
First-Order Languages and Their Interpretations
First-Order Theories
Properties of First-Order Theories
Additional Metatheorems and Derived Rules
Rule C
Completeness Theorems
First-Order Theories with Equality
Definitions of New Function Letters and Individual Constants
Prenex Normal Forms
Isomorphism of Interpretations. Categoricity of Theories
Generalized First-Order Theories. Completeness and Decidability
Elementary Equivalence. Elementary Extensions
Ultrapowers. Non-Standard Analysis
Semantic Trees
Quantification Theory Allowing Empty Domains
Formal Number Theory
An Axiom System
Number-Theoretic Functions and Relations
Primitive Recursive and Recursive Functions
Arithmatization. Gödel Numbers
The Fixed Point Theorem. Gödel's Incompleteness Theorem
Recursive Undecidability. Church's Theorem
Axiomatic Set Theory
An Axiom System
Ordinal Numbers
Equinumerousity. Finite and Denumerable Sets.
Hartog's Theorem. Initial Ordinals. Ordinal Arithmetic
The Axiom of Choice. The Axiom of Regularity
Other Axiomatizations of Set Theory
Computability
Algorithms. Turing Machines
Diagrams
Partial Recursive Functions. Unsolvable Problems.
The Kleene-Mosotovski Hierarchy. Recursively Enumerable Sets
Other notions of Computability
Decision Problems
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
WorldofBooks
Goring-By-Sea, WS, Regno Unito
Venditore AbeBooks dal 16 marzo 2007
Tariffe di spedizione da Regno Unito a U.S.A.
| Articolo | Da 7 a 12 giorni lavorativi | Da 5 a 9 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 6,68 | EUR 14,31 |
Metodi di pagamento
Descrizione dello Store
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.…
Specializzazione
COOKERY, RECYCLE, CHARITY, USED BOOKS, MODERN, HISTORY, CHILDRENS, FICTION, CHEAP BOOKS, NON -FICTIONInformazioni sull’azienda del venditore
World of Books Ltd
Mulberry House, Woods Way Trading Estate
Goring-By-Sea, Regno Unito BN12 4QY
Condizioni di vendita
WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.
Diritto di recesso
Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.
Informazioni sul diritto di recesso
Diritto legale di recesso
Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.
Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.
Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).
Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.
Effetti del recesso
In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).
Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.
Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.
Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.
Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.
Dovrai rispedire i beni o consegnarli a WorldofBooks, Coventry, WMD, United Kingdom, senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.
Eccezioni al diritto di recesso
Il diritto di recesso non si applica a:
- La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
- La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.
Condizioni di spedizione
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.