Vol. 891. Müller, G. H.; Takeuti, G.; Tugué, T. 
Logic Symposia Hakone 1979, 1980: Proceedings of conferences held in Hakone, Japan march 21-24, 1979 and February 4-7, 1980 
QA9.A1 L34 1979