عنوان
پدید آورنده
موضوع
رده
QA,9,.A1,L63,1996 BC,135,.L634,1996
QA
,
9
,.
A1
,
L63
,
1996
BC
,
135
,.
L634
,
1996
کتابخانه
محل استقرار
354064668X
IR
ebook29244
انگلیسی
IR
Logic Colloquium '96
[Electronic Resource]
:proceedings of the colloquium held in San Sebastiaan, Spain, July 9-15, 1996
/ J.M. Larrazabal, D. Lascar, G. Mints, eds
Berlin ;New York
: Springer,
, c1998.
vi, 261 p.
: ill. ; 24 cm.
(Lecture notes in logic
; 12)
e
Includes bibliographical references.
Logic, Symbolic and mathematical--Congresses
QA
,
9
,.
A1
,
L63
,
1996
BC
,
135
,.
L634
,
1996
Larrazabal, Jesaus M
Lascar, D� 1942
Minet?s, G. E
Logic Colloquium(1996 :San Sebastiaan, Spain)
ایران
QA,9,.A1,L63,1996 BC,135,.L634,1996
354064668X.pdf
0
old catalog
e
BL
1
a
Y
