عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L63 1973
QA
9
.
A1
.
L63
1973
کتابخانه
محل استقرار
62631
آخر۲۷
English
)20(
Logic Colloquium '73 : proceedings of the logic Colloquium ,Bristol,July 1973
Amsterdam
North-Holland Pub.
viii,513p.:23 cm
Studies in logic and the foundations of mathematics ;v.08
2791-37, 4791 & July 81-32, 3891: Lecture notes in mathematics
"Held under the auspices of the Association for Symbolic Logic"
، Logic, Symbolic and mathematical-- Congresses
QA
9
.
A1
.
L63
1973
AU
edited by H.E.Rose and J.C.shepherdson
AU tsnrE yevraH ,esoR
AU .C .J ,nosdrepehS
CO Association for symbolic Logic
SE
Logic Colloquium,Bristol,Eng.,1973
02
