RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Dokl. Akad. Nauk:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Dokl. Akad. Nauk SSSR, 1962, Volume 142, Number 5, Pages 1015–1018 (Mi dan26117)  

This article is cited in 7 scientific papers (total in 7 papers)

MATHEMATICS

Finitive problems

Yu. T. Medvedev

V. A. Steklov Mathematical Institute, USSR Academy of Sciences

Full text: PDF file (549 kB)

Bibliographic databases:

Document Type: Article
Presented: A. N. Kolmogorov
Received: 16.10.1961

Citation: Yu. T. Medvedev, “Finitive problems”, Dokl. Akad. Nauk SSSR, 142:5 (1962), 1015–1018

Citation in format AMSBIB
\Bibitem{Med62}
\by Yu.~T.~Medvedev
\paper Finitive problems
\jour Dokl. Akad. Nauk SSSR
\yr 1962
\vol 142
\issue 5
\pages 1015--1018
\mathnet{http://mi.mathnet.ru/dan26117}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=0133233}
\zmath{https://zbmath.org/?q=an:0286.02028}


Linking options:
  • http://mi.mathnet.ru/eng/dan26117
  • http://mi.mathnet.ru/eng/dan/v142/i5/p1015

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. V. I. Khomich, “On superintuitionistic propositional logics connected with partially ordered sets”, Math. USSR-Izv., 38:2 (1992), 375–397  mathnet  crossref  mathscinet  zmath  adsnasa  isi
    2. S. N. Artemov, “Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs”, Proc. Steklov Inst. Math., 242 (2003), 36–49  mathnet  mathscinet  zmath
    3. N. K. Vereshchagin, D. P. Skvortsov, E. Z. Skvortsova, A. V. Chernov, “Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle”, Proc. Steklov Inst. Math., 242 (2003), 67–85  mathnet  mathscinet  zmath
    4. S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib
    5. D. Van Dalen, “Kolmogorov and Brouwer on constructive implication and the Ex Falso rule”, Russian Math. Surveys, 59:2 (2004), 247–257  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib
    6. A. V. Chernov, “Complexity of Sets Obtained as Values of Propositional Formulas”, Math. Notes, 75:1 (2004), 131–139  mathnet  crossref  crossref  mathscinet  zmath  isi  elib
    7. A. V. Chernov, “Finite problems and the logic of the weak law of excluded middle”, Math. Notes, 77:2 (2005), 263–272  mathnet  crossref  crossref  mathscinet  zmath  isi  elib
  • Number of views:
    This page:39
    Full text:22

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019