Logic symposia, Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980


edited by G. H. Müller, G. Takeuti, and T. Tugué
Bok Språk ikke angitt 1981

Detaljer

Bibliotek som har denne