Works by G. Minc

( view other items matching `G. Minc`, view all matches )
8 found
Order:
Disambiguations
G. E. Minc [11]G. Minc [2]
  1.  8
    Matematiceskaa teoria logiceskogo vyvoda.J. van Heijenoort, A. V. Idel'son & G. E. Minc - 1970 - Journal of Symbolic Logic 35 (2):323.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  7
    D. M. R. Leivant. Absoluteness of intuitionistic logic. Mathematical Centre tracts, no. 73. Mathematisch Centrum, Amsterdam1979, ix + 137 pp. [REVIEW]G. E. Minc - 1981 - Journal of Symbolic Logic 46 (4):873-874.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  4
    Ú. L. Éršov and É. A. Palútin. Matématičéskaá logika . “Nauka,” Moscow1979, 320 pp. [REVIEW]G. Minc - 1986 - Journal of Symbolic Logic 51 (3):827-829.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Review: D. M. R. Leivant, Absoluteness of Intuitionistic Logic. [REVIEW]G. E. Minc - 1981 - Journal of Symbolic Logic 46 (4):873-874.
     
    Export citation  
     
    Bookmark  
  5.  25
    Review: M. E. Szabo, Algebra of Proofs. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    Review: U. L. Ersov, E. A. Palutin, Mathematical Logic. [REVIEW]G. Minc - 1986 - Journal of Symbolic Logic 51 (3):827-829.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  40
    Szabo M. E.. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76. [REVIEW]G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-143.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark