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

Enregistré dans:
Détails bibliographiques
Auteur principal : Latin-American symposium on mathematical logic
Collectivité auteur : Latin-American symposium on mathematical logic 06 1983 Caracas, Venezuela (Auteur)
Autres auteurs : Di Prisco Carlos Augusto (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : 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
Publié : Berlin, Heidelberg, New York [etc.] : Springer-Verlag , cop. 1985
Description matérielle : 1 vol. (VII-407 p.)
Collection : Lecture notes in mathematics ; 1130
Sujets :
Logique mathématique > Actes de congrès

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque LNM/1130 Prêt sans prolongation Disponible