عنوان
پدید آورنده
موضوع
رده
BC,135,.L57,1982
BC
,
135
,.
L57
,
1982
کتابخانه
محل استقرار
(Elsevier North-Holland)
0444864652
IR
ebook11803
انگلیسی
IR
Logic Colloquium '80
[Electronic Resource]
:papers intended for the European summer meeting of the Association for Symbolic Logic
/ edited by D. van Dalen, D. Lascar, T.J. Smiley. -
Amsterdam ;New York
: North-Holland Pub. Co. ;New York, N.Y. :Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
, 1982.
x, 342 p.
: --
(Studies in logic and the foundations of mathematics
; v. 108)
e
Includes bibliographies.
Studies in logic and the foundations of mathematics
v. 108
Logic, Symbolic and mathematical.
160
BC
,
135
,.
L57
,
1982
Smiley, T. J
Dalen, D. va� 1932
Lascar, D� 1942
Association for Symbolic Logic
Logic Colloquium(1980 :Prague, Czechoslovakia)
ایران
160
0444864652.pdf
0
old catalog
e
BL
1
a
Y
