No CrossRef data available.
Article contents
G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122. - G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.
Review products
G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122.
G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.
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