1. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده : edited by C.A. Di Prisco
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L35
1983
2. Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1130
