No CrossRef data available.
Article contents
G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 (1977), pp. 323–329. (English translation of O E-téorémah, Isslédovania po konstruktivnoj matématiké i matématičéskoj logiké, VI, edited by Ú. V. Matiásévič and A. O. Slisénko, Zapiski naučnyh séminarov, vol. 40, Matématičéskij Institut im. V. A. Stéklova, Léningradskoé Otdélénié, Leningrad 1974, pp. 110–118.) - G. É. Minc. Ustojčivost' E-téorém i provérka programm (Stability of E-theorems and program verification). Sémiotika i informatika, vol. 12 (1979), pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 (1979), pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 (1980), pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 435–452.
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 1987