Logic symposia Hakone 1979, 1980 : proceedings of conferences Held in Hakone, Japan March 21-24, 1979 and February 4-7,1980 [monographie] |
| Auteur(s): | Müller, Gert Heinz (1923-....) (Ed.)
Tugué, Tosiyuki (1926-....) (Ed.)
Takeuti, Gaisi T. (1926-....) (Ed.)
|
| Editeur, date d'édition: | Springer, 1981
|
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New-York (US)
|
| Congrés: | Logic symposia (1980)
Hakone (JP) |
| ISBN: | 0-387-11161-1 ; 3-540-11161-1
|
| Classification MSC: | 03-06 (2000)
|
| Notes: | xi ; notes bibliogr. ; 24 cm ; 394 p.
|
| Localisation: | https://link.springer.com.sicd.clermont-universite.fr/book/10.1007/BFb0090974 |
Exemplaire(s)
| Cote | Retour |
|---|
| 05 MUL 81 | Disponible |
