Cover unavailable English Unordered International Journal of Engineering Science Y. Tanigawa; Y. Takeuti 1982 January View book