Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in set logic.
Contents include: Sets and Relations — Cantor's concept of a set, etc.
Natural Number Sequence — Zorn's Lemma, etc.
Extension of Natural Numbers to Real Numbers
Logic — the Statement and Predicate Calculus, etc.
Informal Axiomatic Mathematics
Boolean Algebra

Informal Axiomatic Set Theory

Several Algebraic Theories — Rings, Integral Domains, Fields, etc.
First-Order Theories — Metamathematics, etc.
Symbolic logic does not figure significantly until the final chapter. The main theme of the book is mathematics as a system seen through the elaboration of real numbers; set theory and logic are seen s efficient tools in constructing axioms necessary to the system.
Mathematics students at the undergraduate level, and those who seek a rigorous but not unnecessarily technical introduction to mathematical concepts, will welcome the return to print of this most lucid work.

"Professor Stoll . . . has given us one of the best introductory texts we have seen." — Cosmos.

"In the reviewer's opinion, this is an excellent book, and in addition to its use as a textbook (it contains a wealth of exercises and examples) can be recommended to all who wish an introduction to mathematical logic less technical than standard treatises (to which it can also serve as preliminary reading)." — Mathematical Reviews.

"Riassunto" può appartenere a un’altra edizione di questo titolo.

Contenuti

Chapter 1 SETS AND RELATIONS 1. Cantor's Concept of a Set 2. The Basis of Intuitive Set Theory 3. Inclusion 4. Operations for Sets 5. The Algebra of Sets 6. Relations 7. Equivalence Relations 8. Functions 9. Composition and Inversion for Functions 10. Operations for Collections of Sets 11. Ordering Relations Chapter 2 THE NATURAL NUMBER SEQUENCE AND ITS GENERALIZATIONS 1. The Natural Number Sequence 2. Proof and Definition by Induction 3. Cardinal Numbers 4. Countable Sets 5. Cardinal Arithmetic 6. Order Types 7. Well-ordered Sets and Ordinal Numbers 8. "The Axiom of Choice, the Well-ordering Theorem, and Zorn's Lemma" 9. Further Properties of Cardinal Numbers 10. Some Theorems Equivalent to the Axiom of Choice 11. The Paradoxes of Intuitive Set Theory Chapter 3 THE EXTENSION OF THE NATURAL NUMBERS TO THE REAL NUMBERS 1. The System of Natural Numbers 2. Differences 3. Integers 4. Rational Numbers 5. Cauchy Sequences of Rational Numbers 6. Real Numbers 7. Further Properties of the Real Number System Chapter 4 LOGIC 1. The Statement Calculus. Sentential Connectives 2. The Statement Calculus. Truth Tables 3. The Statement Calculus. Validity 4. The Statement Calculus. Consequence 5. The Statement Calculus. Applications 6. The Predicate Calculus. Symbolizing Everyday Language 7. The Predicate Calculus. A Formulation 8. The Predicate Calculus. Validity 9. The Predicate Calculus. Consequence Chapter 5 INFORMAL AXIOMATIC MATHEMATICS 1. The Concept of an Axiomatic Theory 2. Informal Theories 3. Definitions of Axiomatic Theories by Set-theoretical Predicates 4. Further Features of Informal Theories Chapter 6 BOOLEAN ALGEBRAS 1. A Definition of a Boolean Algebra 2. Some Basic Properties of a Boolean Algebra 3. Another Formulation of the Theory 4. Congruence Relations for a Boolean Algebra 5. Representations of Boolean Algebras 6. Statement Calculi as Boolean Algebras 7. Free Boolean Algebras 8. Applications of the Theory of Boolean Algebras to Statement Calculi 9. Further Interconnections between Boolean Algebras and Statement Calculi Chapter 7 INFORMAL AXIOMATIC SET THEORY 1. The Axioms of Extension and Set Formation 2. The Axiom of Pairing 3. The Axioms of Union and Power Set 4. The Axiom of Infinity 5. The Axiom of Choice 6. The Axiom Schemas of Replacement and Restriction 7. Ordinal Numbers 8. Ordinal Arithmetic 9. Cardinal Numbers and Their Arithmetic 10. The von Neumann-Bernays-Gödel Theory of Sets Chapter 8 SEVERAL ALGEBRAIC THEORIES 1. Features of Algebraic Theories 2. Definition of a Semigroup 3. Definition of a Group 4. Subgroups 5. Coset Decompositions and Congruence Relations for Groups 6. "Rings, Integral Domains, and Fields" 7. Subrings and Difference Rings 8. A Characterization of the System of Integers 9. A Characterization of the System of Rational Numbers 10. A Characterization of the Real Number System Chapter 9 FIRST-ORDER THEORIES 1. Formal Axiomatic Theories 2. The Statement Calculus as a Formal Axiomatic Theory 3. Predicate Calculi of First Order as Formal Axiomatic Theories 4. First-order Axiomatic Theories 5. Metamathematics 6. Consistency and Satisfiability of Sets of Formulas 7. "Consistency, Completeness, and Categoricity of First-order Theories" 8. Turing Machines and Recursive Functions 9. Some Undecidable and Some Decidable Theories 10. Gödel's Theorems 11. Some Further Remarks about Set Theory References Symbols and Notation Author Index Subject Index

"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.

Revaluation Books

Exeter, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 6 gennaio 2003

Tariffe di spedizione da Regno Unito a U.S.A.

Articolo	Da 7 a 14 giorni lavorativi	Da 2 a 3 giorni lavorativi
Primo articolo	EUR 14,52	EUR 34,84

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

Informazioni sull’azienda del venditore

Edward Bowditch Ltd

Exstowe, Exton
Exeter, Regno Unito EX3 0PP

Contatta il venditoreVisualizza gli articoli di questo venditoreVisita la vetrina del venditore

Condizioni di vendita

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

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 Revaluation Books, Hounslow, 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 usually dispatched within two working days.

Set Theory and Logic

Descrizione dell’articolo da parte del venditore

Dati bibliografici

Riassunto

Descrizione articolo