Logic Symposia, Hakone, 1979 1980by G. H. Müller, G. Takeuti, T. TugueWriting a summary for young readers…For young readersBook data: Open Library