Chen, Chin-Yun Computing interval enclosures for definite integrals by application of triple adaptive strategies. (English) Zbl 1100.65017 Computing 78, No. 1, 81-99 (2006); erratum ibid. 99, No. 4, 427 (2017). MSC: 65D32 65G20 65G30 41A55 PDFBibTeX XMLCite \textit{C.-Y. Chen}, Computing 78, No. 1, 81--99 (2006; Zbl 1100.65017) Full Text: DOI
Fridlender, Daniel A proof-irrelevant model of Martin-Löf’s logical framework. (English) Zbl 1029.03049 Math. Struct. Comput. Sci. 12, No. 6, 771-795 (2002). MSC: 03F50 03F35 03B40 PDFBibTeX XMLCite \textit{D. Fridlender}, Math. Struct. Comput. Sci. 12, No. 6, 771--795 (2002; Zbl 1029.03049) Full Text: DOI
Dimitracopoulos, C.; Paris, J. A note on a theorem of H. Friedman. (English) Zbl 0613.03013 Z. Math. Logik Grundlagen Math. 34, No. 1, 13-17 (1988). MSC: 03C62 03H15 03F30 PDFBibTeX XMLCite \textit{C. Dimitracopoulos} and \textit{J. Paris}, Z. Math. Logik Grundlagen Math. 34, No. 1, 13--17 (1988; Zbl 0613.03013) Full Text: DOI
Blaga, Petru P. Optimal quadrature formulas of interval type. (Romanian) Zbl 0519.65015 Stud. Univ. Babes-Bolyai, Math. 28, 22-26 (1983). MSC: 65D32 41A55 65G30 PDFBibTeX XMLCite \textit{P. P. Blaga}, Stud. Univ. Babeș-Bolyai, Math. 28, 22--26 (1983; Zbl 0519.65015)
Cichon, E. A. A short proof of two recently discovered independence results using recursion theoretic methods. (English) Zbl 0512.03028 Proc. Am. Math. Soc. 87, 704-706 (1983). MSC: 03F35 03D35 03D55 PDFBibTeX XMLCite \textit{E. A. Cichon}, Proc. Am. Math. Soc. 87, 704--706 (1983; Zbl 0512.03028) Full Text: DOI
Montagna, Franco On the formulas of Peano arithmetic which are provably closed under modus ponens. (English) Zbl 0405.03030 Boll. Unione Mat. Ital., V. Ser., B 16, 196-211 (1979). MSC: 03F30 PDFBibTeX XMLCite \textit{F. Montagna}, Boll. Unione Mat. Ital., V. Ser., B 16, 196--211 (1979; Zbl 0405.03030)
Parlamento, Franco Sulla completezza della \(\omega\)-regola. (Italian) Zbl 0415.03036 Rend. Sem. Mat., Torino 36, 235-249 (1978). MSC: 03D99 PDFBibTeX XMLCite \textit{F. Parlamento}, Rend. Semin. Mat., Torino 36, 235--249 (1978; Zbl 0415.03036)
Paris, J. B. Some independence results for Peano arithmetic. (English) Zbl 0408.03048 J. Symb. Log. 43, 725-731 (1978). MSC: 03H15 PDFBibTeX XMLCite \textit{J. B. Paris}, J. Symb. Log. 43, 725--731 (1978; Zbl 0408.03048) Full Text: DOI
Ursini, Aldo On the set of ’meaningful’ sentences of arithmetic. (English) Zbl 0404.03043 Stud. Log. 37, 237-241 (1978). MSC: 03F30 PDFBibTeX XMLCite \textit{A. Ursini}, Stud. Log. 37, 237--241 (1978; Zbl 0404.03043) Full Text: DOI
Paris, J. B. Note on an induction axiom. (English) Zbl 0399.03009 J. Symb. Log. 43, 113-117 (1978). MSC: 03B10 03H15 03F30 11U10 11D99 PDFBibTeX XMLCite \textit{J. B. Paris}, J. Symb. Log. 43, 113--117 (1978; Zbl 0399.03009) Full Text: DOI