عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 Vol.1130
QA
3
.
L28
Vol
.
1130
کتابخانه
محل استقرار
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
6th: 1983: Caracas, Venezuela
Berlin
Springer-Verlag
c1985
vii, 407p
Lecture notes in mathematics; 0311
Sponsored by Asociacion Venezolana para el Avance de la Ciencia )AsoVAC( ... ]et al.[
Includes bibliographies
ISBN: 3540152369
edited by C. A. Di Prisco
1
Congresses ، Logic, Symbolic and mathematical
QA
3
.
L28
Vol
.
1130
AU
AU Di Prisco, Carlos Augusto
CO Asociacion Venezolana para el Avance de la Ciencia
TI
SE
Latin-American Symposium on Mathematical Logic
