عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.1130
QA
1
.
L4
v
.
1130
کتابخانه
محل استقرار
English
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
Berlin, New York
Springer-Verlag
1985
vii, 407 p. ; 25 cm
Lecture notes in mathematics, 0311
Sponsored by Asociacion Venezolana para el Avance de la Ciencia )AsoVAC( ... et al
Includes bibliographical references and index
Includes bibliographies
edited by C.A. Di Prisco
1
2
3
Congresses ، Logic, Symbolic and mathematical
QA
1
.
L4
v
.
1130
CA
510
s
AU
AU Di Prisco, C. A.
CO Asociacion Venezolana para el Avance de la Ciencia
TI
SE
Latin-American Symposium on Mathematical Logic, )6th, 1983, Caracas, Venezuela(
