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//