Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
A formalization of set theory without variables
پدید آورنده
Tarski, Alfred
موضوع
، Set theory,، Logic, Symbolic and mathematical
رده
QA
248
.
T37
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
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 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
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Alfred Tarski and Steven Givant
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
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal