Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Saved in:
Bibliographic Details
Main Author : Latin-American symposium on mathematical logic
Corporate Author : Latin-American symposium on mathematical logic 06 1983 Caracas, Venezuela (Auteur)
Other Authors : Di Prisco Carlos Augusto (Éditeur scientifique)
Format : Book
Language : anglais
Title statement : 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
Published : Berlin, Heidelberg, New York [etc.] : Springer-Verlag , cop. 1985
Physical Description : 1 vol. (VII-407 p.)
Series : Lecture notes in mathematics ; 1130
Subjects :
Logique mathématique > Actes de congrès
Description
Bibliography : Bibliogr. en fin de contributions
ISBN : 0-387-15236-9
3-540-15236-9