Titre :	Logic symposia hakone 1979-1980 : proceedings of conferences held in Hakone japan
Type de document :	texte imprimé
Auteurs :	Takeuti, G. ; Muller, G. H. ; T. Tugue, Editeur scientifique
Editeur :	Springer-Verlag
Collection :	Lecture Notes in Mathematics, ISSN 0075-8434 num. 891
Importance :	XI-394
ISBN/ISSN/EAN :	978-0-387-11161-2
Langues :	Anglais
Mots-clés :	logique
Index. décimale :	LNM

Logic symposia hakone 1979-1980 : proceedings of conferences held in Hakone japan [texte imprimé] / Takeuti, G. ; Muller, G. H. ; T. Tugue, Editeur scientifique . - [S.l.] : Springer-Verlag, [s.d.] . - XI-394. - (Lecture Notes in Mathematics, ISSN 0075-8434; 891) .
ISBN : 978-0-387-11161-2
Langues : Anglais

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