Logic Symposia Hakone-machi, Japan, Logic Symposia, Muller, G. H., Takeuti, G., & Tugue, T. (1981). Logic Symposia : Hakone, 1979, 1980: Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. Springer-Verlag.

Logic Symposia Hakone-machi, Japan, Logic Symposia, Gert Heinz Muller, Gaisi Takeuti, and Tosiyuki Tugue. Logic Symposia : Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. Berlin ; New York: Springer-Verlag, 1981.

Logic Symposia Hakone-machi, Japan, et al. Logic Symposia : Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. Springer-Verlag, 1981.