top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Autore Quine W. V (Willard Van Orman)
Edizione [Revised ed.]
Pubbl/distr/stampa Cambridge [Mass.], : Belknap Press
Descrizione fisica 1 online resource (361p.)
Disciplina 511.3
Soggetto topico Axiomatic set theory
Logic, Symbolic and mathematical
Mathematics
Physical Sciences & Mathematics
Algebra
Soggetto genere / forma Electronic books.
ISBN 0-674-04242-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto INTRODUCTION PART ONE. THE ELEMENTS I. LOGIC Quantification and identity Virtual classes Virtual relations II. REAL CLASSES Reality, extensionality, and the individual The virtual amid the real Identity and substitution III. CLASSES OF CLASSES Unit classes Unions, intersections, descriptions Relations as classes of pairs Functions IV. NATURAL NUMBERS Numbers unconstrued Numbers construed Induction V. ITERATION AND ARITHMETIC Sequences and iterates The ancestral Sum, product, power PART TWO. HIGHER FORMS OF NUMBER VI. REAL NUMBERS Program. Numerical pairs Ratios and reals construed Existential needs. Operations and extensions VII. ORDER AND ORDINALS Transfinite induction Order Ordinal numbers Laws of ordinals The order of the ordinals VIII. TRANSFINITE RECURSION Transfinite recursion Laws of transfinite recursion Enumeration IX. CARDINAL NUMBERS Comparative size of classes The SchrOder-Bernstein theorem Infinite cardinal numbers X. THE AXIOM OF CHOICE Selections and selectors Further equivalents of the axiom The place of the axiom PART THREE. AXIOM SYSTEMS XI. RUSSELL'S THEORY OF TYPES The constructive part Classes and the axiom of reducibility The modern theory of types XII. GENERAL VARIABLES AND ZERMELO The theory of types with general variables Cumulative types and Zermelo Axioms of infinity and others XIII. STRATIFICATION AND ULTIMATE CLASSES "New foundations" Non-Cantorian classes. Induction again Ultimate classes added XIV. VON NEUMANN'S SYSTEM AND OTHERS The von Neumann-Bernays system Departures and comparisons Strength of systems SYNOPSIS OF FIVE AXIOM SYSTEMS LIST OF NUMBERED FORMULAS BIBLIOGRAPHICAL REFERENCES INDEX
Record Nr. UNINA-9910812740203321
Quine W. V (Willard Van Orman)  
Cambridge [Mass.], : Belknap Press
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Sets : naive, axiomatic and applied : a basic compendium with exercises for use in set theory for Non Logicians, Working and Teaching Mathematicians and Students / by D. Van Dalen, H. C. Doets, H. de Swart
Sets : naive, axiomatic and applied : a basic compendium with exercises for use in set theory for Non Logicians, Working and Teaching Mathematicians and Students / by D. Van Dalen, H. C. Doets, H. de Swart
Autore Doets, H. C.
Pubbl/distr/stampa Oxford : Pergamon press, c1978
Descrizione fisica xvii, 342 p. ; 25 cm.
Altri autori (Persone) Swart, H. C. M. de
Dalen, Dirk vanauthor
Collana International series in pure and applied mathematics ; 106
Soggetto topico Axiomatic set theory
Set theory
ISBN 0080230474
Classificazione AMS 04-01
AMS 04-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001340639707536
Doets, H. C.  
Oxford : Pergamon press, c1978
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui