Titre :	Methods in mathematical logic:proceedings of the 6th latin american symposium
Type de document :	texte imprimé
Auteurs :	C. A. Di Prisco, Editeur scientifique
Editeur :	Springer-Verlag
Collection :	Lecture Notes in Mathematics, ISSN 0075-8434 num. 1130
Importance :	VII-407
ISBN/ISSN/EAN :	978-3-540-15236-1
Langues :	Anglais
Mots-clés :	logique
Index. décimale :	LNM

Methods in mathematical logic:proceedings of the 6th latin american symposium [texte imprimé] / C. A. Di Prisco, Editeur scientifique . - [S.l.] : Springer-Verlag, [s.d.] . - VII-407. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1130) .
ISBN : 978-3-540-15236-1
Langues : Anglais

Mots-clés :	logique
Index. décimale :	LNM