Norgela, S. Herbrand deduction search strategies in predicate calculus. II. (English) Zbl 0449.03007 Lith. Math. J. 19, 113-117 (1979). MSC: 03B10 03F99 03B35 PDFBibTeX XMLCite \textit{S. Norgela}, Lith. Math. J. 19, 113--117 (1979; Zbl 0449.03007) Full Text: DOI
Maslov, S. Yu. Calculi with monotone deductions and their economic interpretation. (Russian) Zbl 0429.03042 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 88, 90-105 (1979). MSC: 03F99 03B25 03D99 91B66 68Q65 03D15 94A17 PDFBibTeX XMLCite \textit{S. Yu. Maslov}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 88, 90--105 (1979; Zbl 0429.03042) Full Text: EuDML
Bergstra, J. A.; Tucker, J. V. Equational specifications for computable data types: six hidden functions suffice and other sufficiency bounds. (English) Zbl 0418.68019 Math. Cent., Amst., Afd. Inf. IW 128/79, 17 P. (1979). MSC: 68P05 03D45 03D80 03F65 PDFBibTeX XML
Chong, C. T. \(\Sigma_2\)-cofinalities of \(J_\alpha\). (English) Zbl 0403.03033 Fundam. Math. 102, 101-107 (1979). MSC: 03D60 03F99 PDFBibTeX XMLCite \textit{C. T. Chong}, Fundam. Math. 102, 101--107 (1979; Zbl 0403.03033) Full Text: DOI EuDML
Bridges, D. S. Constructive functional analysis. (English) Zbl 0401.03027 Research Notes in Mathematics. 28. London - San Francisco Melbourne: Pitman. 203 p. £7.50 (1979). MSC: 03F60 28C05 28C15 46L05 41A50 46S10 03-02 46-02 28-02 PDFBibTeX XML