عنوان
پدید آورنده
موضوع
رده
QA248 .T37 1987
QA248
.
T37
1987
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0821810413
(Number (ISBN
9780821810415
NATIONAL BIBLIOGRAPHY NUMBER
Number
b704749
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A formalization of set theory without variables /
General Material Designation
[Book]
First Statement of Responsibility
by Alfred Tarski and Steven Givant.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, R.I. :
Name of Publisher, Distributor, etc.
American Mathematical Society,
Date of Publication, Distribution, etc.
©1987.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxi, 318 pages :
Other Physical Details
illustrations ;
Dimensions
26 cm.
SERIES
Series Title
Colloquium publications,
Volume Designation
vol. 41
ISSN of Series
0065-9258 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 273-282), and indexes.
CONTENTS NOTE
Text of Note
The formalism L of predicate logic -- The formalism L+, a definitional extension of L -- The formalism L+ without variables and the problem of its equipollence with L -- The relative equipollence of L and L+, and the formalization of set theory in L× -- Some improvements of the equipollence results -- Implications of the main results for semantic and axiomatic foundations of set theory -- Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers -- Applications to relation algebras and to varieties of algebras.
0
SUMMARY OR ABSTRACT
Text of Note
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications.
ACQUISITION INFORMATION NOTE
Terms of Availability
CIP entry
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical.
Set theory.
Logic, Symbolic and mathematical.
Ensembles, Théorie des.
Logique symbolique et mathématique.
Axiomatische Mengenlehre
Axiomatische Mengenlehre.
Logic, Symbolic and mathematical.
Mathematische Logik
Mathematische Logik.
Mengenlehre
Mengenlehre.
Set theory.
Teoria Dos Conjuntos.
Verzamelingen (wiskunde)
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3/22
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA248
Book number
.
T37
1987
OTHER CLASS NUMBERS
Class number
*
03E30
Class number
03-02
Class number
31
.
10
Class number
CC
2600
Class number
MAT
040f
Class number
PB
87
Class number
SK
130
Class number
SK
150
Class number
SK
155
System Code
msc
System Code
msc
System Code
bcl
System Code
rvk
System Code
stub
System Code
blsrissc
System Code
rvk
System Code
rvk
System Code
rvk
PERSONAL NAME - PRIMARY RESPONSIBILITY
Tarski, Alfred,1901-1983.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Givant, Steven R.
ORIGINATING SOURCE
Date of Transaction
20201207201150.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
