Dragalin, A. G. Cut-elimination in the theory of definable sets of natural numbers. (Russian) Zbl 0483.03038 Set theory and topology, No. 1, Interuniv. Work Collect., Izhevsk 1977, 27-36 (1977). MSC: 03F35 03F05 PDFBibTeX XML
Kreisel, Georg Some uses of proof theory for finding computer programs. (English) Zbl 0439.03044 Colloq. int. de Logique, Clermont-Ferrand 1975, Colloq. int. CNRS, No. 249, 123-134 (1977). MSC: 03F05 03F20 68Q60 PDFBibTeX XML
Cellucci, Carlo Proprieta di uniformita e 1-coerenza dell’aritmetica del primo ordine. (Italian) Zbl 0437.03029 Matematiche 32, 35-49 (1977). MSC: 03F30 03F25 03F05 PDFBibTeX XMLCite \textit{C. Cellucci}, Matematiche 32, 35--49 (1977; Zbl 0437.03029)
Hayashi, Susumu On derived rules of intuitionistic second order arithmetic. (English) Zbl 0411.03055 Comment. Math. Univ. St. Pauli 26, No. 1, 77-103 (1977). MSC: 03F35 03F55 03F05 PDFBibTeX XMLCite \textit{S. Hayashi}, Comment. Math. Univ. St. Pauli 26, No. 1, 77--103 (1977; Zbl 0411.03055)
Sato, Masahiko A study of Kripke-type models for some modal logics by Gentzen’s sequential method. (English) Zbl 0405.03013 Publ. Res. Inst. Math. Sci., Kyoto Univ. 13, 381-468 (1977). MSC: 03B45 03C90 03F05 PDFBibTeX XMLCite \textit{M. Sato}, Publ. Res. Inst. Math. Sci. 13, 381--468 (1977; Zbl 0405.03013) Full Text: DOI
Minc, G. E. Heyting predicate calculus with epsilon symbol. (English) Zbl 0404.03045 J. Sov. Math. 8, 317-323 (1977). MSC: 03F55 03F05 03C10 03F30 PDFBibTeX XMLCite \textit{G. E. Minc}, J. Sov. Math. 8, 317--323 (1977; Zbl 0404.03045) Full Text: DOI
Minc, G. E. E theorems. (English) Zbl 0404.03044 J. Sov. Math. 8, 323-329 (1977). MSC: 03F30 03F05 03F55 PDFBibTeX XMLCite \textit{G. E. Minc}, J. Sov. Math. 8, 323--329 (1977; Zbl 0404.03044) Full Text: DOI
Kuzichev, A. S. Formal arithmetic in the \(\mathcal A\)-system of \(\lambda\)-conversion. (English. Russian original) Zbl 0395.03010 Sov. Math., Dokl. 18(1977), 1327-1330 (1978); translation from Dokl. Akad. Nauk SSSR 236, 1072-1075 (1977). MSC: 03B40 03B10 03F05 03F99 03F30 11U99 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 18, 1327--1330 (1977; Zbl 0395.03010); translation from Dokl. Akad. Nauk SSSR 236, 1072--1075 (1977)
Kuzichev, A. S. A system of \(\lambda\)-conversion with logical operators and an equality operator. (English. Russian original) Zbl 0395.03009 Sov. Math., Dokl. 18(1977), 1268-1272 (1978); translation from Dokl. Akad. Nauk SSSR 236, 796-799 (1977). MSC: 03B40 03B10 03C35 03F05 03F99 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 18, 1268--1272 (1977; Zbl 0395.03009); translation from Dokl. Akad. Nauk SSSR 236, 796--799 (1977)
Wessels, Linda Cut elimination in a Gentzen-style \(\varepsilon\)-calculus without identity. (English) Zbl 0381.03042 Z. Math. Logik Grundlagen Math. 23, 527-538 (1977). MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{L. Wessels}, Z. Math. Logik Grundlagen Math. 23, 527--538 (1977; Zbl 0381.03042) Full Text: DOI