| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Logic Symposia, Hakone, 1979, 1980: Proceedings | Paperback | 978-0-387-11161-2 | 1981 | Japan) Logic Symposia (1979 Hakone-machi · G. H. Muller · Gaisi Takeuti | |
| Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 | " | 978-3-662-16838-7 | 2014 | G.H. Müller · G. Takeuti | |
| Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 | Taschenbuch | 978-3-540-11161-0 | 2009 | G. H. Müller · G. Takeuti | |
| Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987 | Paperback | 978-0-387-51527-4 | 1989 | Japan) Logic Meeting (1987 Kyoto · T. A. Slaman · J. Shinoda |