http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Logic Symposia (1979 : Hakone-machi, Japan)
Logic Symposia (1980 : Hakone-machi, Japan)
edited by G.H. Muller, G. Takeuti, and T. Tugue.
Lecture notes in mathematics (Springer-Verlag) ; 891