- Rilegato
- Usato

Da: McCord Books, NORWALK, IA, U.S.A.McCord Books
Venditore AbeBooks dal 13 marzo 2023
Condizione: Usato - Discreto
EUR 46,08
Quantità: 1 disponibile
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
Ex-library copy with usual markings. Cover , edge and corner wear, text is unmarked.
Codice articolo 260523069
- Titolo
- Introduction to Mathematical Logic
- Autore
- Mendelson, E.
- Editore
- Springer
- Anno di pubblicazione
- 1997
- Condizione
- Fair
- Rilegatura
- hardcover
- Lingua
- inglese
- ISBN 10
- 0412808307
- ISBN 13
- 9780412808302
- Peso dell'articolo
- 26 once
- Dimensioni
- 6x1x9
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.
McCord Books
NORWALK, IA, U.S.A.
Venditore AbeBooks dal 13 marzo 2023
Tariffe di spedizione nazionale per U.S.A.
| Articolo | Da 5 a 14 giorni lavorativi | Da 3 a 6 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 4,41 | EUR 8,82 |
Metodi di pagamento
Specializzazione
Non-fictionInformazioni sull’azienda del venditore
McCord Books
IA, U.S.A.
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 McCord Books, NORWALK, Iowa, U.S.A., 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.