Motohashi, N. Object logic and morphism logic. (English) Zbl 0239.02018 J. Math. Soc. Japan 24, 684-697 (1972). MSC: 03B99 03F99 PDFBibTeX XMLCite \textit{N. Motohashi}, J. Math. Soc. Japan 24, 684--697 (1972; Zbl 0239.02018) Full Text: DOI
Osswald, Horst Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik. (German) Zbl 0239.02015 Manuscr. Math. 6, 17-31 (1972). MSC: 03B55 03F99 PDFBibTeX XMLCite \textit{H. Osswald}, Manuscr. Math. 6, 17--31 (1972; Zbl 0239.02015) Full Text: DOI EuDML
Podniek, K. M. Über die konstruktive Entwicklung stochastischer Matrizen. (Russian) Zbl 0238.02030 Avtom. Vychisl. Tekh. 1972, No. 3, 18-20 (1972). MSC: 03F99 15B51 PDFBibTeX XMLCite \textit{K. M. Podniek}, Avtom. Vychisl. Tekh. (Riga) 1972, No. 3, 18--20 (1972; Zbl 0238.02030)
Dragalin, A. G. Über die Verwendung der klassischen Kalküle zur Feststellung der konstruktiven Wahrheit. (Russian) Zbl 0237.02007 Vestn. Mosk. Univ., Ser. I 27, No. 2, 25-29 (1972). MSC: 03F99 PDFBibTeX XMLCite \textit{A. G. Dragalin}, Vestn. Mosk. Univ., Ser. I 27, No. 2, 25--29 (1972; Zbl 0237.02007)
Martin-Löf, Per Infinite terms and a system of natural deduction. (English) Zbl 0237.02006 Compos. Math. 24, 93-103 (1972). MSC: 03F99 PDFBibTeX XMLCite \textit{P. Martin-Löf}, Compos. Math. 24, 93--103 (1972; Zbl 0237.02006) Full Text: Numdam EuDML
Szabo, Manfred Egon A categorical equivalence of proofs. (English) Zbl 0225.02023 Notre Dame J. Formal Logic (to appear). MSC: 03F07 18D15 03F99 03B99 03B25 PDFBibTeX XML
Satre, Thomas W. Natural deduction rules for \(S1^0-S4^0\). (English) Zbl 0197.27504 Notre Dame J. Formal Logic 13, 565-568 (1972). MSC: 03B45 03F99 PDFBibTeX XMLCite \textit{T. W. Satre}, Notre Dame J. Formal Logic 13, 565--568 (1972; Zbl 0197.27504) Full Text: DOI
Satre, Thomas W. Natural deduction rules for modal logics. (English) Zbl 0188.01301 Notre Dame J. Formal Logic 13, 461-475 (1972). MSC: 03B45 03F99 PDFBibTeX XMLCite \textit{T. W. Satre}, Notre Dame J. Formal Logic 13, 461--475 (1972; Zbl 0188.01301) Full Text: DOI
Satinder, Pushpa K. Completeness and cut-elimination in constructive \(\omega\)-rule arithmetics. (English) Zbl 0319.02025 Proc. 25th Summer Meet. Can. math. Congr., Thunder Bay 1971, 563 (1971). MSC: 03F99 PDFBibTeX XML
Shirai, Kokio Intuitionistic predicate calculus with \(\varepsilon\)-symbol. (English) Zbl 0287.02014 Ann. Jap. Assoc. Philos. Sci. 4, 49-67 (1971). MSC: 03B55 03F99 PDFBibTeX XMLCite \textit{K. Shirai}, Ann. Japan Assoc. Philos. Sci. 4, 49--67 (1971; Zbl 0287.02014) Full Text: DOI
Tait, W. W. Normal form theorem for bar recursive functions of finite type. (English) Zbl 0281.02036 Proc. 2nd Scandinav. Logic Sympos. 1970, Studies Logic Foundations Math. 63, 353-367 (1971). MSC: 03F99 03D65 PDFBibTeX XML
Martin-Löf, Per Notes on constructive mathematics. (English) Zbl 0273.02021 Stockholm: Almqvist & Wiksell. 109 p. Kr. 20.00 (1971). MSC: 03-01 03F99 03Dxx 03F55 PDFBibTeX XML
Jeltsch, Rita Der Riemannsche Abbildungssatz in der konstruktiven Analysis. Diss. (German) Zbl 0268.02023 Zürich: Juris Druck P Verlag. 77 S. (1971). MSC: 03D60 03F99 30C20 PDFBibTeX XML
Uesu, Tadahiro Correction to ”Zermelo’s set theory and G\(^*\)LC”. (English) Zbl 0268.02020 Comment. Math. Univ. St. Pauli 19, 47-49 (1971). MSC: 03E30 03F99 PDFBibTeX XMLCite \textit{T. Uesu}, Comment. Math. Univ. St. Pauli 19, 47--49 (1971; Zbl 0268.02020)
Demuth, O. Eine notwendige und hinreichende Bedingung der Darstellbarkeit konstruktiver Funktionen in Gestalt einer Summe einer singulären und einer absolut stetigen Funktion. (Russian) Zbl 0264.02030 Commentat. Math. Univ. Carol. 12, 587-610 (1971). MSC: 03F99 26A30 26A45 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 12, 587--610 (1971; Zbl 0264.02030) Full Text: EuDML
Demuth, O. Über die Superpositionen absolut stetiger konstruktiver Funktionen. (Russian) Zbl 0264.02029 Commentat. Math. Univ. Carol. 12, 423-451 (1971). MSC: 03F99 26B40 26A42 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 12, 423--451 (1971; Zbl 0264.02029) Full Text: EuDML
Madison, E. W. Some remarks on computable (non-Archimedean) ordered fields. (English) Zbl 0258.02044 J. Lond. Math. Soc., II. Ser. 4, 304-308 (1971). MSC: 03D60 12J15 03F99 PDFBibTeX XMLCite \textit{E. W. Madison}, J. Lond. Math. Soc., II. Ser. 4, 304--308 (1971; Zbl 0258.02044) Full Text: DOI
Manukjan, S. N. On interior points of nondegenerate constructive curves. (English. Russian original) Zbl 0255.02033 Sov. Math., Dokl. 12, 246-248 (1971); translation from Dokl. Akad. Nauk SSSR 196, 768-769 (1971). MSC: 03F99 54F50 PDFBibTeX XMLCite \textit{S. N. Manukjan}, Sov. Math., Dokl. 12, 246--248 (1971; Zbl 0255.02033); translation from Dokl. Akad. Nauk SSSR 196, 768--769 (1971)
Demuth, O. Über eine Bedingung der Differenzierbarkeit konstruktiver Funktionen beschränkter Variation. (Russian) Zbl 0255.02032 Commentat. Math. Univ. Carol. 12, 687-711 (1971). MSC: 03F99 26A24 26A45 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 12, 687--711 (1971; Zbl 0255.02032) Full Text: EuDML
Uesu, Tadahiro Simple type theory with constructive infinitely long expressions. (English) Zbl 0255.02023 Comment. Math. Univ. St. Pauli 19, 131-163 (1971). MSC: 03F15 03E30 03C75 03F99 03B15 PDFBibTeX XMLCite \textit{T. Uesu}, Comment. Math. Univ. St. Pauli 19, 131--163 (1971; Zbl 0255.02023)
Scarpellini, Bruno Proof theory and intuitionistic systems. (English) Zbl 0253.02026 Lecture Notes in Mathematics. 212. Berlin-Heidelberg-New York: Springer-Verlag. VII, 290 p. DM 24.00; $ 6.90 (1971). MSC: 03F99 03-02 03B55 03F55 PDFBibTeX XML
Sanchis, Luis E. Cut elimination, consistency and completeness in classical logic. (English) Zbl 0242.02032 Logique Anal., Nouv. Sér. 14, 715-723 (1971). MSC: 03F99 PDFBibTeX XMLCite \textit{L. E. Sanchis}, Log. Anal., Nouv. Sér. 14, 715--723 (1971; Zbl 0242.02032)
Staples, John On constructive fields. (English) Zbl 0238.02029 Proc. Lond. Math. Soc., III. Ser. 23, 753-768 (1971). MSC: 03F99 15-00 PDFBibTeX XMLCite \textit{J. Staples}, Proc. Lond. Math. Soc. (3) 23, 753--768 (1971; Zbl 0238.02029) Full Text: DOI
Orevkov, V. P. On nonlengthening applications of equality rules. (English) Zbl 0231.02037 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16(1969), 77-79 (1971). MSC: 03F99 PDFBibTeX XML
Slisenko, A. O. (ed.) Studies in constructive mathematics and mathematical logic. III. (Issledovaniya po konstruktivnoj matematike i matematicheskoj logike. III.). (English) Zbl 0231.02001 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16(1969), 1-97 (1971). MSC: 00B50 03Bxx 03Fxx PDFBibTeX XML
Kreisel, Georg A survey of proof theory. II. (English) Zbl 0227.02013 Proc. 2nd Scandinav. Logic Sympos. 1970, Studies Logic Foundations Math. 63, 109-170 (1971). MSC: 03Fxx PDFBibTeX XML
Orevkov, V. P. On the continuity of constructive functionals. (Russian) Zbl 0223.02028 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 160-169 (1971). MSC: 03F99 26A15 03D20 PDFBibTeX XMLCite \textit{V. P. Orevkov}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 160--169 (1971; Zbl 0223.02028) Full Text: EuDML
Zaslavskij, I. D.; Tsejtin, G. S. Yet another constructive version of the Cauchy theorem. (Russian) Zbl 0222.02031 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 36-39 (1971). MSC: 03F60 03F99 PDFBibTeX XMLCite \textit{I. D. Zaslavskij} and \textit{G. S. Tsejtin}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 36--39 (1971; Zbl 0222.02031) Full Text: EuDML
Matiyasevich, Yu. V. A sufficient condition for the recursive convergence of a monotone sequence. (Russian) Zbl 0222.02029 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 97-103 (1971). MSC: 03F60 03F99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 97--103 (1971; Zbl 0222.02029) Full Text: EuDML
Minch, G. E. Exact estimates for the provability of the rule of transfinite induction in initial parts of arithmetic. (Russian) Zbl 0222.02023 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 134-144 (1971). MSC: 03F30 03F20 03F99 PDFBibTeX XMLCite \textit{G. E. Minch}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 134--144 (1971; Zbl 0222.02023) Full Text: EuDML
Matiyasevich, Yu. V.; Slisenko, A. O. Untersuchungen zur konstruktiven Mathematik und mathematischen Logik. IV. (Issledovaniya po konstruktivnoj matematike i matematicheskoj logike. IV.). (Russian) Zbl 0218.02002 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 1-294 (1971). MSC: 03Fxx 03-06 00B15 03Bxx 03A05 68T15 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich} and \textit{A. O. Slisenko}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 1--294 (1971; Zbl 0218.02002) Full Text: EuDML
Prawitz, Dag Constructive sematics. (English) Zbl 0318.02032 Proc. 1st Scand. Logic Symp., Abo 1968, 96-114 (1970). MSC: 03F55 03B55 03F99 PDFBibTeX XML
Slisenko, A. O. Some questions on the approximation of maximal regulators of continuity. (English. Russian original) Zbl 0302.02011 Proc. Steklov Inst. Math. 113, 84-90 (1970); translation from Trudy Mat. Inst. Steklov 113, 73-78 (1970). MSC: 03F99 26A15 PDFBibTeX XMLCite \textit{A. O. Slisenko}, Proc. Steklov Inst. Math. 113, 84--90 (1970; Zbl 0302.02011); translation from Trudy Mat. Inst. Steklov 113, 73--78 (1970)
Madison, E. W. A note on computable real fields. (English) Zbl 0291.02031 J. Symb. Log. 35, 239-241 (1970). MSC: 03D80 03F99 12J15 PDFBibTeX XMLCite \textit{E. W. Madison}, J. Symb. Log. 35, 239--241 (1970; Zbl 0291.02031) Full Text: DOI
Kusner, B. A. Some mass problems connected with the integration of constructive functions. (English. Russian original) Zbl 0285.02033 Proc. Steklov Inst. Math. 113, 42-83 (1970); translation from Trudy Mat. Inst. Steklov 113, 39-72 (1970). MSC: 03F99 68W99 26A42 PDFBibTeX XMLCite \textit{B. A. Kusner}, Proc. Steklov Inst. Math. 113, 42--83 (1970; Zbl 0285.02033); translation from Trudy Mat. Inst. Steklov 113, 39--72 (1970)
Aberth, Oliver Computable analysis and differential equations. (English) Zbl 0283.02030 Intuitionism Proof Theory, Proc. Summer Conf. Buffalo N.Y. 1968, 47-52 (1970). MSC: 03F99 03D60 34A99 PDFBibTeX XML
Seiler, Eduard Widerspruchsfreie Darstellung einiger Sätze aus der Theorie der Vereine. (German) Zbl 0281.02037 An. Univ. Bucuresti, Acta logica 13, 103-131 (1970). MSC: 03F99 03E99 PDFBibTeX XMLCite \textit{E. Seiler}, An. Univ. București, Ser. Acta Logica 13, 103--131 (1970; Zbl 0281.02037)
Phan Dinh Dieu Gewisse Fragen der konstruktiven Funktionalanalysis. (Russian) Zbl 0275.02038 Tr. Mat. Inst. Steklova 114, 222 S. (1970). MSC: 46Axx 46Fxx 03F99 PDFBibTeX XML
Wette, Eduard Vom Unendlichen zum Endlichen. (German) Zbl 0263.02008 Dialectica 24, 303-323 (1970). MSC: 03A05 03E30 03F99 03F55 PDFBibTeX XMLCite \textit{E. Wette}, Dialectica 24, 303--323 (1970; Zbl 0263.02008) Full Text: DOI
Demuth, O. Über die Integrierbarkeit der Ableitungen von konstruktiven Funktionen. (Russian) Zbl 0257.02027 Commentat. Math. Univ. Carol. 11, 667-691 (1970). MSC: 03F99 26A24 26A42 28A25 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 11, 667--691 (1970; Zbl 0257.02027) Full Text: EuDML
Demuth, O. Eine notwendige und hinreichende Bedingung für die absolute Stetigkeit konstruktiver Funktionen. (Russian) Zbl 0257.02026 Commentat. Math. Univ. Carol. 11, 705-726 (1970). MSC: 03F99 26A24 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 11, 705--726 (1970; Zbl 0257.02026) Full Text: EuDML
Demuth, O. Über die Darstellbarkeit konstruktiver Funktionen schwach beschränkter Variation. (Russian) Zbl 0257.02025 Commentat. Math. Univ. Carol. 11, 421-434 (1970). MSC: 03F99 26A15 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 11, 421--434 (1970; Zbl 0257.02025) Full Text: EuDML
Demuth, Osvald Mittelwertsätze für konstruktive Lebesgueintegrale. (Russian) Zbl 0257.02024 Commentat. Math. Univ. Carol. 11, 249-269 (1970). MSC: 03F99 26A42 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 11, 249--269 (1970; Zbl 0257.02024) Full Text: EuDML
Leblanc, H.; Meyer, R. K. Truth-value semantics for the theory of tpyes. (English) Zbl 0245.02045 Philos. Probl. Logic, Colloquium Univ. Calif. Irvine 1968, 77-101 (1970). MSC: 03C35 03F99 03B15 03E70 PDFBibTeX XML
Cleave, J. P. The notion of validity in logical systems with inexact predicates. (English) Zbl 0242.02033 Br. J. Philos. Sci. 21, 269-274 (1970). MSC: 03A05 03F99 PDFBibTeX XMLCite \textit{J. P. Cleave}, Br. J. Philos. Sci. 21, 269--274 (1970; Zbl 0242.02033) Full Text: DOI
Tuzov, V. A. Equivalence of logical schemes with commutative operators. (Russian) Zbl 0231.02042 Kibernetika, Kiev 1970, No. 6, 33-38 (1970). MSC: 03F99 03D40 PDFBibTeX XMLCite \textit{V. A. Tuzov}, Kibernetika 1970, No. 6, 33--38 (1970; Zbl 0231.02042)
Ostroyhov, D. A. On the coding of natural numbers by means of schemata of normal algorithms. (Russian) Zbl 0222.02026 Z. Math. Logik Grundlagen Math. 16, 347-352 (1970). MSC: 68Q25 03F99 PDFBibTeX XMLCite \textit{D. A. Ostroyhov}, Z. Math. Logik Grundlagen Math. 16, 347--352 (1970; Zbl 0222.02026) Full Text: DOI
Kreisel, Georg Priciples of proof and ordinals implicit in given concepts. (English) Zbl 0208.00901 Intuitionism Proof Theory, Proc. Summer Conf. Buffalo N.Y. 1968, 489-516 (1970). MSC: 03A05 03F99 PDFBibTeX XML
Kreisel, Georg Hilbert’s programme and the search for automatic proof procedures. (English) Zbl 0206.27701 Sympos. Automatic Demonstrat., Versailles/France, 1968, Lect. Notes Math. 125, 128-146 (1970). MSC: 03Fxx PDFBibTeX XML
Engeler, E. Proof theory and the accuracy of computations. (English) Zbl 0205.30601 Sympos. Automatic Demonstrat., Versailles/France, 1968, Lect. Notes Math. 125, 62-72 (1970). MSC: 03F99 03C75 PDFBibTeX XML
Aberth, Oliver A chain of inclusion relations in computable analysis. (English) Zbl 0283.02029 Proc. Am. Math. Soc. 22, 539-548 (1969). MSC: 03F99 03D60 26A03 PDFBibTeX XMLCite \textit{O. Aberth}, Proc. Am. Math. Soc. 22, 539--548 (1969; Zbl 0283.02029) Full Text: DOI
Orevkov, V. P. Some properties of the homeomorphisms of constructive metric spaces. (English. Russian original) Zbl 0282.02009 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16, 80-83 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 16, 157-164 (1969). MSC: 03F99 54E35 PDFBibTeX XML
Kosovskij, N. K. Integrable FR-constructs over a probability space. (English. Russian original) Zbl 0272.02060 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16, 49-52 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 16, 97-104 (1969). MSC: 03F99 60A05 28A25 PDFBibTeX XML
Kosovskij, N. K. Necessary and sufficient conditions for a probability space to have Specker properties. (English. Russian original) Zbl 0272.02059 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16, 45-48 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 16, 91-96 (1969). MSC: 03F99 60A05 PDFBibTeX XML
Kosovskiĭ, N. K. Laws of large numbers in constructive probability theory. (English. Russian original) Zbl 0267.02024 Semin. Math., V. A. Steklov Math. Inst., Leningr. 16, 53-57 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 16, 105-113 (1969). Reviewer: V. Lifshits (R. Zh. Mat. 1970, 7A73) MSC: 03F99 60A05 PDFBibTeX XML
Kanovich, M. I.; Kushner, B. A. Estimating the complexity of certain algorithmic problems of analysis. (English. Russian original) Zbl 0267.02022 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16, 40-44 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 16, 81-90 (1969). Reviewer: N. Kosovskiĭ (R. Zh. Mat. 1970, 6A73) MSC: 03F99 03D80 PDFBibTeX XML
Cleave, John The primitive recursive analysis of ordinary differential equations and the complexity of their solutions. (English) Zbl 0263.34001 J. Comput. Syst. Sci. 3, 447-455 (1969). MSC: 34A12 03F99 68W99 03D20 PDFBibTeX XMLCite \textit{J. Cleave}, J. Comput. Syst. Sci. 3, 447--455 (1969; Zbl 0263.34001) Full Text: DOI
Demuth, O. Lineare Funktionale in konstruktiven L\(_r\)-Räumen. (Russian) Zbl 0258.02042 Commentat. Math. Univ. Carol. 10, 357-390 (1969). MSC: 03F99 28A10 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 10, 357--390 (1969; Zbl 0258.02042) Full Text: EuDML
Demuth, O. Die Räume L\(_r\) und S in der konstruktiven Mathematik. (Russian) Zbl 0258.02041 Commentat. Math. Univ. Carol. 10, 261-284 (1969). MSC: 03F99 28A10 28C20 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 10, 261--284 (1969; Zbl 0258.02041) Full Text: EuDML
Lorenc, A. A. Ökonomie der Zustände endlicher stochastischer Automaten. (Russian) Zbl 0254.94058 Avtom. Vychisl. Tekh. 1969, No. 2, 1-9 (1969). MSC: 68Q45 03F99 PDFBibTeX XMLCite \textit{A. A. Lorenc}, Avtom. Vychisl. Tekh. (Riga) 1969, No. 2, 1--9 (1969; Zbl 0254.94058)
Lorenc, A. A. Fragen der Reduzierbarkeit endlicher stochastischer Automaten. (Russian) Zbl 0254.94057 Avtom. Vychisl. Tekh. 1969, No. 1, 4-13 (1969). MSC: 68Q45 03F99 PDFBibTeX XMLCite \textit{A. A. Lorenc}, Avtom. Vychisl. Tekh. (Riga) 1969, No. 1, 4--13 (1969; Zbl 0254.94057)
Gumanski, Leon Remarks on formalized proof and consequence. (Polish) Zbl 0246.02026 Stud. Log. 25, 151-158 (1969). MSC: 03F99 PDFBibTeX XMLCite \textit{L. Gumanski}, Stud. Log. 25, 151--158 (1969; Zbl 0246.02026) Full Text: DOI
Demuth, O. Über die Lebesgue-Messbarkeit von Mengen in der konstruktiven Mathematik. (Russian) Zbl 0237.02008 Commentat. Math. Univ. Carol. 10, 463-492 (1969). MSC: 03F99 28A05 PDFBibTeX XMLCite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 10, 463--492 (1969; Zbl 0237.02008) Full Text: EuDML
Surma, Stanislaw J. Theorems on deduction for descending implications. (Polish) Zbl 0313.02020 Stud. Log. 22, 62-83 (1968). MSC: 03F99 PDFBibTeX XMLCite \textit{S. J. Surma}, Stud. Log. 22, 62--83 (1968; Zbl 0313.02020)
Borkowski, Ludwik Some remarks about the notion of definition. (Polish) Zbl 0305.02010 Stud. Log. 23, 59-70 (1968). MSC: 03A05 03F99 PDFBibTeX XMLCite \textit{L. Borkowski}, Stud. Log. 23, 59--70 (1968; Zbl 0305.02010) Full Text: DOI
Phan Dinh Dieu On spaces of constructive infinitely differentiable functions and on functionals in them. (English. Russian original) Zbl 0286.02039 Sov. Math., Dokl. 9, 695-698 (1968); translation from Dokl. Akad. Nauk SSSR 180, 799-802 (1968). MSC: 03F99 26A24 PDFBibTeX XMLCite \textit{Phan Dinh Dieu}, Sov. Math., Dokl. 9, 695--698 (1968; Zbl 0286.02039); translation from Dokl. Akad. Nauk SSSR 180, 799--802 (1968)
Kushner, B. A.; Tseĭtin, G. S. Some properties of F-numbers. (English. Russian original) Zbl 0267.02023 Semin. Math., V. A. Steklov Math. Inst., Leningrad 8, 49-55 (1968); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 8, 107-120 (1968). Reviewer: V. Lifshits (R. Zh. Mat. 1969, 12A111) MSC: 03F99 PDFBibTeX XML
Vassiliou, Ph. Plato’s theory of ideas about modern mathematics. (Greek) Zbl 0267.00029 Praktika Akad. Athen 43, 70-88 (1968). MSC: 00A30 03F99 PDFBibTeX XMLCite \textit{Ph. Vassiliou}, Prakt. Akad. Athen 43, 70--88 (1968; Zbl 0267.00029)
Feferman, Solomon Lectures on proof theory. (English) Zbl 0248.02033 Proc. Summer School Logic, Leeds 1967, Lect. Notes Math. 70, 1-107 (1968). MSC: 03F99 03-02 PDFBibTeX XML
Schütte, Kurt Neuere Ergebnisse der Beweistheorie. (German) Zbl 0208.01203 Tr. Mezhdunarod. Kongr. Mat., Moskva 1966, 130-138 (1968). MSC: 05-02 03Fxx PDFBibTeX XML
Surma, Stanislaw J. Indirect-deduction theorems. (Polish) Zbl 0307.02021 Stud. Log. 20, 151-166 (1967). MSC: 03F99 03B05 PDFBibTeX XMLCite \textit{S. J. Surma}, Stud. Log. 20, 151--166 (1967; Zbl 0307.02021) Full Text: DOI
Slisenko, A. O. Arithmetical operations on certain sets of duplexes. (English. Russian original) Zbl 0283.02032 Proc. Steklov Inst. Math. 93, 241-267 (1967); translation from Trudy Mat. Inst. Steklov 93, 187-207 (1967). MSC: 03F99 PDFBibTeX XMLCite \textit{A. O. Slisenko}, Proc. Steklov Inst. Math. 93, 241--267 (1967; Zbl 0283.02032); translation from Trudy Mat. Inst. Steklov 93, 187--207 (1967)
Hajek, Petr; Havel, Ivan; Chytil, Metodej GUHA - the method of systematical hypotheses searching. (Czech) Zbl 0312.68051 Kybernetika, Praha 2, 31-47 (1966). MSC: 68T15 03B10 03F99 03B25 PDFBibTeX XMLCite \textit{P. Hajek} et al., Kybernetika 2, 31--47 (1966; Zbl 0312.68051)
Kusner, B. A. Certain properties of quasinumbers and of operators from quasinumbers into quasinumbers. (English. Russian original) Zbl 0283.02031 Sov. Math., Dokl. 7, 1467-1470 (1966); translation from Dokl. Akad. Nauk SSSR 171, 275-277 (1966). MSC: 03F99 03D60 PDFBibTeX XMLCite \textit{B. A. Kusner}, Sov. Math., Dokl. 7, 1467--1470 (1966; Zbl 0283.02031); translation from Dokl. Akad. Nauk SSSR 171, 275--277 (1966)
Vacaliuc, Iosif Demonstration de quelques théoremes concernant l’addition et la multiplication dans l’arithmétique à logique élémentaire. (French) Zbl 0257.02020 An. Univ. Bucuresti, Ser. Acta logica 9, 217-241 (1966). MSC: 03B99 03F99 PDFBibTeX XMLCite \textit{I. Vacaliuc}, An. Univ. București, Ser. Acta Logica 9, 217--241 (1966; Zbl 0257.02020)
Moisil, Gr. C. Sur l’arithmétique à logique élémentaire. (French) Zbl 0257.02019 An. Univ. Bucuresti, Ser. Acta logica 9, 135-161 (1966). MSC: 03F99 03B99 PDFBibTeX XMLCite \textit{Gr. C. Moisil}, An. Univ. București, Ser. Acta Logica 9, 135--161 (1966; Zbl 0257.02019)
Phan Dinh Dieu The metrizability, normability and multinormability of constructive locally convex spaces. (English. Russian original) Zbl 0284.02016 Sov. Math., Dokl. 6, 814-818 (1965); translation from Dokl. Akad. Nauk SSSR 162, 1011-1014 (1965). MSC: 03F99 46A03 PDFBibTeX XMLCite \textit{Phan Dinh Dieu}, Sov. Math., Dokl. 6, 814--818 (1965; Zbl 0284.02016); translation from Dokl. Akad. Nauk SSSR 162, 1011--1014 (1965)
Phan Dinh Dieu Constructive locally convex linear topological spaces. (English. Russian original) Zbl 0284.02015 Sov. Math., Dokl. 6, 764-768 (1965); translation from Dokl. Akad. Nauk SSSR 162, 766-769 (1965). MSC: 03F99 46A03 PDFBibTeX XMLCite \textit{Phan Dinh Dieu}, Sov. Math., Dokl. 6, 764--768 (1965; Zbl 0284.02015); translation from Dokl. Akad. Nauk SSSR 162, 766--769 (1965)
Varpakhovskii, F. L. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. (English. Russian original) Zbl 0236.02026 Sov. Math., Dokl. 6, 568-570 (1965); translation from Dokl. Akad. Nauk SSSR 161, 1257-1258 (1965). MSC: 03B55 03B99 03F99 PDFBibTeX XMLCite \textit{F. L. Varpakhovskii}, Sov. Math., Dokl. 6, 568--570 (1965; Zbl 0236.02026); translation from Dokl. Akad. Nauk SSSR 161, 1257--1258 (1965)
Tsejtin, G. S. Drei Sätze über konstruktive Funktionen. (Russian) Zbl 0236.02030 Tr. Mat. Inst. Steklova 72, 537-543 (1964). MSC: 03F99 PDFBibTeX XMLCite \textit{G. S. Tsejtin}, Tr. Mat. Inst. Steklova 72, 537--543 (1964; Zbl 0236.02030)
Nagornyi, N. M. On realizable and completable logico-arithmetical formulas. (English. Russian original) Zbl 0236.02025 Sov. Math., Dokl. 5, 981-983 (1964); translation from Dokl. Akad. Nauk SSSR 157, 529-531 (1964). MSC: 03F99 03B55 03B99 PDFBibTeX XMLCite \textit{N. M. Nagornyi}, Sov. Math., Dokl. 5, 981--983 (1964; Zbl 0236.02025); translation from Dokl. Akad. Nauk SSSR 157, 529--531 (1964)
Slisenko, A. O. On constructive nonseparable spaces. (Russian) Zbl 0235.02032 Tr. Mat. Inst. Steklova 72, 533-536 (1964). MSC: 03F99 PDFBibTeX XMLCite \textit{A. O. Slisenko}, Tr. Mat. Inst. Steklova 72, 533--536 (1964; Zbl 0235.02032)
Slisenko, A. O. Example of a nondiscontinuous but not continuous constructive operator in a metric space. (Russian) Zbl 0235.02031 Tr. Mat. Inst. Steklova 72, 524-532 (1964). MSC: 03F99 47B99 PDFBibTeX XMLCite \textit{A. O. Slisenko}, Tr. Mat. Inst. Steklova 72, 524--532 (1964; Zbl 0235.02031)
Kubinski, Tadeusz A proof of consistency of Borkowski’s logical system containing Peano’s arithmetic. (English) Zbl 0292.02029 Stud. Log. 14, 197-225 (1963). MSC: 03F99 PDFBibTeX XMLCite \textit{T. Kubinski}, Stud. Log. 14, 197--225 (1963; Zbl 0292.02029) Full Text: DOI
Wang, Hao The mechanization of mathematical arguments. (English) Zbl 0192.08801 Proc. Symp. Appl. Math. 15, 31-40 (1963). MSC: 68Q99 03F99 PDFBibTeX XML
Markov, A. A. On constructive functions. (English. Russian original) Zbl 0128.01306 Transl., Ser. 2, Am. Math. Soc. 29, 163-195 (1963). MSC: 03Fxx PDFBibTeX XMLCite \textit{A. A. Markov}, Transl., Ser. 2, Am. Math. Soc. 29, 163--195 (1963; Zbl 0128.01306) Full Text: DOI
Medvedev, Ju. T. Finite problems. (English. Russian original) Zbl 0286.02028 Sov. Math., Dokl. 3, 227-230 (1962); translation from Dokl. Akad. Nauk SSSR 142, 1015-1018 (1962). MSC: 03B55 03F99 PDFBibTeX XMLCite \textit{Ju. T. Medvedev}, Sov. Math., Dokl. 3, 227--230 (1962; Zbl 0286.02028); translation from Dokl. Akad. Nauk SSSR 142, 1015--1018 (1962)
Pogorzelski, H. A. Recursive arithmetic of Skolem. II. (English) Zbl 0207.30901 Math. Scand. 11, 156-160 (1962). MSC: 03D99 03F99 PDFBibTeX XMLCite \textit{H. A. Pogorzelski}, Math. Scand. 11, 156--160 (1962; Zbl 0207.30901) Full Text: DOI EuDML
Spacek, Antonin Statistical estimation of semantic provability. (English) Zbl 0242.02035 Proc. 4th Berkeley Sympos. math. Statist. Probab. 1, 655-668 (1961). MSC: 03F99 62P99 PDFBibTeX XML
Spacek, Antonin Statistical estimation of provability in Boolean logic. (English) Zbl 0242.02034 Trans. 2nd Prague Conf. Information theory, statistical decision functions, random processes, Liblice, 1959, 609-626 (1960). MSC: 03F99 62P99 PDFBibTeX XML
Wang, Hao Remarks on constructive ordinals and set theory. (English) Zbl 0201.33008 Summaries of Talks Summer Inst. Symbolic Logic, Cornell Univ. 1957, 383-390 (1960). Reviewer: J. N. Crossley MSC: 03Exx 03Fxx PDFBibTeX XML
Novikov, P. S. Elements of mathematical logic. (Элементы математической логики) (Elemente der mathematischen Logik.) (Russian) Zbl 0090.00805 Mathematische Logik und Grundlagen der Mathematik. Moskau: Staatsverlag für physikalisch-mathematische Literatur. 400 S. (1959). Reviewer: Ewald Burger (Frankfurt/Main) MSC: 03-01 03F99 03B05 03B10 PDFBibTeX XML
Goodstein, R. L. A constructivist theory of plane curves. (English) Zbl 0070.01002 Fundam. Math. 43, 23-35 (1956). Reviewer: H. Freudenthal MSC: 03Fxx PDFBibTeX XMLCite \textit{R. L. Goodstein}, Fundam. Math. 43, 23--35 (1956; Zbl 0070.01002) Full Text: DOI EuDML Link
Piccard, Sophie Sur les ensembles parfaits. (French) Zbl 0068.27002 Verh. Schweiz. Naturforsch. Ges., Wiss. Teil 135, 104-106 (1955). MSC: 03Fxx PDFBibTeX XML
Riguet, Jacques Sur les ensembles réguliers de relations binaires. (French) Zbl 0038.15103 C. R. Acad. Sci., Paris 231, 936-937 (1950). Reviewer: Paul Lorenzen (Bonn) MSC: 03Fxx PDFBibTeX XMLCite \textit{J. Riguet}, C. R. Acad. Sci., Paris 231, 936--937 (1950; Zbl 0038.15103)