عنوان
پدید آورنده
موضوع
رده
BC135،.I5 1965
BC135
،.
I5
1965
کتابخانه
محل استقرار
IR
2227
انگلیسی
IR
[Book]
:: proceedings
/ Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
Amsterdam
, 1965.
xv, 494 p.
: port. 23 cm
(Studies in logic and the foundations of mathematics)
Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science
Print
Bibliography: p. 442-492
Logic, Symbolic and mathematical- Congresses
Mathematical models- Congresses
164
BC135
.
I5
1965
International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
Addison, J. W. (John West), 1930- ed
University of California, Berkeley
Association for Symbolic Logic
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
ایران
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
