-
1Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 /by Müller, Gert H. editor., Takeuti, Gaisi. editor., Tugué, Tosiyuki. editor., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS -
2Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 /by Müller, Gert H. editor., Takeuti, Gaisi. editor., Tugué, Tosiyuki. editor., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS