عنوان
پدید آورنده
موضوع
رده
QA 248 .T37 1987
QA
248
.
T37
1987
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
6895
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Tarski, Alfred
Title Proper
A formalization of set theory without variables
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, R.I.
Name of Publisher, Distributor, etc.
American Matheamtical Society
Date of Publication, Distribution, etc.
c1987
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxi, 318p.:ill
SERIES
Series Title
Colloquium publications; v.14
GENERAL NOTES
Text of Note
Bibliography: p. 273-282
Text of Note
Includes indexes
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
by Alfred Tarski and Steven Givant
TOPICAL NAME USED AS SUBJECT
Entry Element
، Set theory
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
248
.
T37
1987
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Givant, Steven R
TI
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
