Proceedings of the Third IBM Symposium on Mathematical Foundations of Computer Science mathematical logic & computer science : August 21-23, 1978 at Inter-University Seminar House of Kansai
IBM Symposium on Mathematical Foundations of Computer Science (3rd 1978 Inter-University Seminar House of Kansai) Nihon Ai Båi Emu Kabushiki Kaisha
Tokyo Academic & Scientific Programs, IBM Japan 1978?
Available at IME - Inst. Matemática e Estatística (QA800.C S989 19. )(GetIt)