عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 L63 1990
QA
9
.
A1
L63
1990
کتابخانه
محل استقرار
H1
Proceedings of the first logic congress, May 5-7, 1990, Tehran, Iran
Tehran
Institute for Studies in Theoretical Physics and Mathematics
1993
v, 234 p.: ill
IPM proceedings series; No. 1
Bibliography: p. 232-234
Logic, Symbolic and mathematical - Congresses
QA
9
.
A1
L63
1990
AU
edited by S. Etemad, M.J.A. Larijani, Z. Movahed
Logic Congress )1st: 1990: Tehran, Iran(
