عنوان
پدید آورنده
موضوع
رده
QA 248 .T37
QA
248
.
T37
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A formalization of set theory without variables
First Statement of Responsibility
Alfred Tarski and Steven Givant
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, R.I
Name of Publisher, Distributor, etc.
American Mathemaical Society
Date of Publication, Distribution, etc.
c1987
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxi, 318p
SERIES
Other Title Information
Colloquium publications; 14
GENERAL NOTES
Text of Note
Bibliography: p.273-282
Text of Note
ISBN: 0821810413
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Set theory
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
248
.
T37
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Tarski, Alfred
Relator Code
AU
AU Givant, Steven Roger, 1943-
CO American Mathematical Society
TI
SE Colloquium publications )American Mathematical Society( 41
