Switch to: Citations

References in:

Proof theory in the USSR 1925–1969

Grigori Mints

Journal of Symbolic Logic 56 (2):385-424 (1991)

Add references

You must login to add references.

Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences.Stephen C. Kleene - 1960 - Logique Et Analyse 3 (11):154.details Download Export citation Bookmark 3 citations
Elements of Mathematical Logic.Gert H. Muller, P. S. Novikov, Leo F. Boron & R. L. Goodstein - 1964 - Journal of Symbolic Logic 31 (4):672.details Download Export citation Bookmark 3 citations
The Theory of Algorithms.A. A. Markov - 1953 - Journal of Symbolic Logic 18 (4):340-341.details Download Export citation Bookmark 13 citations
Mechanical Proof-Search and the Theory of Logical Deduction in the Ussr.S. J. Maslov, G. E. Mints & V. P. Orevkov - 1971 - Revue Internationale de Philosophie 25 (4=98):575-584.details A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched. Download Export citation Bookmark 1 citation
Choice of terms in quantifier rules of constructive predicate calculus.G. E. Mints - 1969 - Journal of Symbolic Logic 36 (3):43--46.details Download Export citation Bookmark 1 citation
Выводимость некоторых реализуемых формул исчисления высказываний.Ф Кабаков - 1963 - Mathematical Logic Quarterly 9 (7):97-104.details Download Export citation Bookmark 1 citation

1