• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
A formalization of set theory without variables /

پدید آورنده
by Alfred Tarski and Steven Givant.

موضوع
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)

رده
QA248
.
T37
1987

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

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

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival