No CrossRef data available.
Article contents
J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 58 (1955), pp. 163–169, 170–177, 270–274, 275–276; also Indagationes mathematicae, vol. 17 (1955), pp. 163–169, 170–177, 270–274, 275–276. - K. Matsumoto, M. Ohnishi, and J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. I. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 60 (1957), pp. 481–491; Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 19 (1957), pp. 481–491. - J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. II and III. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 61 (1958), pp. 16–22, and pp. 23–27; also Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 20 (1958), pp. 16–22, and pp. 23–27.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1975