عنوان
پدید آورنده
موضوع
رده
QA248 .F753 1973
QA248
.
F753
1973
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0080887058
(Number (ISBN
6611777652
(Number (ISBN
9780080887050
(Number (ISBN
9786611777654
NATIONAL BIBLIOGRAPHY NUMBER
Number
b729362
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Foundations of set theory
General Material Designation
[Book]
First Statement of Responsibility
Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
EDITION STATEMENT
Edition Statement
2nd ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam :
Name of Publisher, Distributor, etc.
Elsevier Science,
Date of Publication, Distribution, etc.
1973.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (415 p.).
SERIES
Series Title
Studies in logic and the foundations of mathematics ;
Volume Designation
v. 67
GENERAL NOTES
Text of Note
Description based upon print version of record.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliography.
CONTENTS NOTE
Text of Note
Front Cover; Foundations of Set Theory; Copyright Page; Contents; Preface; CHAPTER I. THE ANTINOMIES; 1. Historical introduction; 2. Logical antinomies; 3. Semantical antinomies; 4. General remarks; 5. The three crises; CHAPTER II. AXIOMATIC FOUNDATIONS OF SET THEORY; 1. Introduction; 2. Some basic notions, equality and extensionality; 3. Axioms of comprehension and infinity; 4. The axiom of choice; 5. The axiom of foundation; 6. Questions unanswered by the axioms; 7. The role of classes in set theory; CHAPTER III. TYPE-THEORETICAL APPROACHES; 1. The ideal calculus; 2. The theory of types
Text of Note
4. Mathematics and logic. Logical calculus5. The primordial intuition of integer. Choice sequences and Brouwer's concept of set; 6. Mathematics as trimmed according to the intuitionistic attitude; CHAPTER V. METAMATHEMATICAL AND SEMANTICAL APPROACHES; 1. The Hilbert program; 2. Formal systems, logistic systems, and formalized theories; 3. Interpretations and models; 4. Consistency, completeness, categoricalness, and independence; 5. The Skolem-Löwenheim theorem; Skolem's paradox; 6. Decidability and recursiveness; arithmetization of syntax
Text of Note
7. The limitative theorems of Gödel, Tarski, Church and their generalizations8. The metamathematics and semantics of set theory; 9. Philosophical remarks; Bibliography; Index of persons; Index of symbols; Subject index
0
8
8
SUMMARY OR ABSTRACT
Text of Note
Foundations of Set Theory.
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
0-7204-2270-1
TOPICAL NAME USED AS SUBJECT
Mathematics-- Philosophy.
Set theory.
Mathematics-- Philosophy.
Set theory.
DEWEY DECIMAL CLASSIFICATION
Number
511/
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA248
Book number
.
F753
1973
PERSONAL NAME - PRIMARY RESPONSIBILITY
Fraenkel, Abraham Adolf,1891-1965.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bar-Hillel, Yehoshua.
Levy, Azriel.
ORIGINATING SOURCE
Date of Transaction
20201215164219.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
