Results for 'Esenin'

5 found
Order:
  1.  22
    Ésénin-Vol′pin A. S.. Nédokazuémost′ gipotézy Suslina bez pomošči aksiomy vybora v sistémé aksiom Bérnajsa-Mostovskogo . Doklady Akadémii Nauk SSSR, vol. 96 , pp. 9–12. [REVIEW]Andrzej Mostowski - 1955 - Journal of Symbolic Logic 20 (2):181-182.
  2. (1 other version)Review: A. S. Esenine-Volpine, Le Programme Ultra-Intuitionniste des Fondements des Mathematiques. [REVIEW]G. Kreisel & A. Ehrenfeucht - 1967 - Journal of Symbolic Logic 32 (4):517-517.
     
    Export citation  
     
    Bookmark   1 citation  
  3.  38
    Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. . - A. S. Ésénin-Vol′pin. Ot péravodčika . Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot k v dokazatél'stvé téorémy 36. to in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV . .) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  20
    Foundations of the logical theory of scientific knowledge (complex logic).Aleksandr Zinoviev - 1973 - Dordrecht,: Reidel.
    Boston Studies in the Philosophy of Science are devoted to symposia, con gresses, colloquia, monographs and collected papers on the philosophical foundations of the sciences. It is now our pleasure to include A. A. Zi nov'ev's treatise on complex logic among these volumes. Zinov'ev is one of the most creative of modern Soviet logicians, and at the same time an innovative worker on the methodological foundations of science. More over, Zinov'ev, although still a developing scholar, has exerted a sub stantial (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  34
    On V.A. Yankov’s Contribution to the History of Foundations of Mathematics.Ioannis M. Vandoulakis - 2022 - In Alex Citkin & Ioannis M. Vandoulakis, V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. Springer, Outstanding Contributions To Logic (volume 24). pp. 247-270.
    The paper examines Yankov’s contribution to the history of mathematical logic and the foundations of mathematics. It concerns the public communication of Markov’s critical attitude towards Brouwer’s intuitionistic mathematics from the point of view of his constructive mathematics and the commentary on A.S. Esenin-Vol’pin program of ultra-intuitionistic foundations of mathematics.
    Direct download  
     
    Export citation  
     
    Bookmark