United States. Office of Naval Research. Mathematical and Information Sciences Division

• Conference record of the 1973 International Symposium on Multiple-valued Logic, Toronto, Canada, May 24-25, 1973
• Proceedings of the 1974 International symposium on multiple-valued logic