No CrossRef data available.
Article contents
G. É. Minc. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 24–27. - G. E. Minc. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 4 (1966), pp. 861–864.
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 1972