عنوان
پدید آورنده
موضوع
رده
QA9.A1 L63 1985
QA9
.
A1
L63
1985
کتابخانه
محل استقرار
0444702113 (U.S.)
dltt
Logic Colloquium '85 :
[Book]
proceedings of the colloquium held in Orsay, France, July 1985 /
edited by the Paris Logic Group
xiii, 308 pages :
illustrations, portrait ;
23 cm
Studies in logic and the foundations of mathematics ;
v. 122
English and French
Includes bibliographies
Logic, Symbolic and mathematical, Congresses
511
.
3
19
QA9
.
A1
L63
1985
Logic Colloquium(1985 :, Orsay, France)
Equipe de logique mathématique (Paris, France)
20141128065053.0
مطالعه متن کتاب [Book]
Y
