عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L638 1990
QA
9
.
A1
.
L638
1990
کتابخانه
محل استقرار
116136
بهار۸۷
English
)40(
Logic Congress )0991: Tehran, Iran(
Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
Tehran
Institute for Studies in Theoretical Physics and Mathematics
1993
vi, 234 p.: ill.; 25 cm
IPM proceedings series; no.I
Includes bibliographical references
، Logic, Symbolic and mathematical-- Congresses
QA
9
.
A1
.
L638
1990
AU
edited by S.Etemad, M.J.A. Larijani, Z. Movahed
AU .S ,dametE
AU .A.J.M ,inajiraL
AU .Z ,dehavoM
TI
SE
04
