Logic symposia hakone 1979-1980 / Takeuti, G. ; Muller, G. H. ; T. Tugue

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5428	LNM/891	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1