Theory of proofs (arithmetic and analysis)-Reference-Cited by-同舟云学术

Theory of proofs (arithmetic and analysis)

Published:1977-04 Issue:4 Volume:7 Page:501-531
ISSN:0090-4104
Container-title:Journal of Soviet Mathematics
language:en
Short-container-title:J Math Sci

Author:

Mints G. E.

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,General Mathematics,Statistics and Probability,Applied Mathematics,General Mathematics,Statistics and Probability

Link

http://link.springer.com/content/pdf/10.1007/BF01084980.pdf

Reference112 articles.

1. G. Gentzen, ?Consistency of pure number theory,? in: The Mathematical Theory of Logical Deduction [in Russian], Nauka, Moscow (1967).

2. K. Gödel, ?An as yet unemployed extension of the finitary point of view,? in: The Mathematical Theory of Logical Deduction [in Russian], Nauka, Moscow (1967).

3. E. A. Derevyankina, ?Some questions on the completeness of arithmetic,? Sib. Mat. Zh.,15, No. 2, 299?317 (1974).

4. A. G. Dragalin, ?Computability of primitive recursive terms of finite type and primitive recursive realization,? in: Zap. Nauch. Semin. Leningr. Otd. Matem. Inst. Akad. Nauk SSSR,8, 32?45 (1968).

5. A. G. Dragalin, ?The use of classical calculi for determination of constructive truth,? Vestn. Mosk. Univ. Mat. Mekh., No. 2, 25?29 (1972).

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. C;Encyclopaedia of Mathematics;1995

2. C;Encyclopaedia of Mathematics;1988

3. A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction;Journal of Symbolic Computation;1985-09