-
RecordNumber
46357
-
Author
Tarski, Alfred
-
Title
formalization of set theory with out variables
-
Author Statement
by Alfred Tarski , Steven Givant
-
Publication
American Mathematical society
-
Publication Year
[c1987]
-
Collation
xxi, 318 p
-
Series
American mathematical society colloquium publication; 41
-
Bibliography
Bibliography: p. 273- 282
-
Subject
Set theory , Logic, Symbolic and mathamtical
-
ADDED ENTRIES
Givant, Steven jt. auth , ^dSeries:Mathematical society colloquium publications; 41
-
Main Class
511
-
Sub Class
.322
-
Cutter no
T193f
-
وارد كنندة اطلاعات
farazbakht 1218^d//
-
Link To Document :
